(datatype r (R i64))
(union (R 1) (R 2))

(check (= (R 1) (R 2)))
(fail (check (!= (R 1) (R 2))))

(run 0)


(check (= (R 1) (R 2)))
(fail (check (!= (R 1) (R 2))))