let
mk_outl = (
Coproduct
(
Out
(
Left
)), 6)