let sym_mk_outr () = Coproduct.outr