Type alias ToLensOutputType<L>

ToLensOutputType<L>: [L] extends [OptionalLens<any, infer T>] ? T : never

Get a concrete T from an OptionalLens<any, T> (or never, if L is no OptionalLens<any, any>)