Trying to implement equality without tags