let sym_mk_outl () = Coproduct.outl