Decidable congruence relations for Haskell; you decide if this is a joke