let is_inl = function Coproduct(In(Left)), _ -> true | _ -> false