let
same_class e1 e2 =
Elem
.equal (repr e1) (repr e2)