left

open override fun <C> left(): PPrism<<ERROR CLASS><S, C>, <ERROR CLASS><T, C>, <ERROR CLASS><A, C>, <ERROR CLASS><B, C>>

Create a sum of the PPrism and a type C