let is_outr = function Coproduct(Out(Right)), _ -> true | _ -> false