Type alias ToLensType<L>

ToLensType<L>: [L] extends [OptionalLens<infer T, infer P>] ? OptionalLens<T, P> : never

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