InL x
'functorL<'t>
Coproduct<'functorL<'t>, 'functorR<'t>>
InR x
'functorR<'t>
(|InL|InR|) x
Choice<'functorL<'t>, 'functorR<'t>>