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