(datatype Math
  (Num i64))

(sort MathVec (Vec Math))

(let v1 (vec-of (Num 1) (Num 2)))
(let v2 (vec-of (Num 2) (Num 2)))

(fail (check (= v1 v2)))


(sort IVec (Vec i64))

(let v3 (vec-of 1 2))
(let v4 (vec-of 2 2))

(fail (check (= v3 v4)))