let equal (t : t) t' = t == t'