let mk_outl a =
  try
    d_inl a 
  with
      Not_found -> 
        Term.App.mk_app Sym.Coproduct.mk_outl [a]