let mk_inl =
  let sym = Coproduct(InL) in
    function
      | App(Coproduct(OutL), [x]) -> x
      | x -> mk_app sym [x]