first

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

Create a product of the PPrism and a type C