let sym_mk_inl () = Coproduct.inl