let
inr =
Coproduct
(
InR
)