let term_mk_out = Coproduct.mk_out