first

open override fun <C> first(): PLens<Pair<S, C>, Pair<T, C>, Pair<A, C>, Pair<B, C>>(source)

Create a product of the PLens and a type C