(module embed_export_multictor_rejected
  (data Either2
    (ctor L (con Int))
    (ctor R (con Float)))
  (fn f
    (export "f")
    (type (fn-type (params (own (con Int))) (ret (own (con Either2)))))
    (params n)
    (body (term-ctor Either2 L n))))
