let
mk_outr = (
Coproduct
(
Out
(
Right
)), 7)