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