left

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

Create a sum of the PIso and a type C