let
mk_inl = (
Coproduct
(
In
(
Left
)), 4)