let is_inr = function Coproduct(In(Right)), _ -> true | _ -> false