Language.HaLex.Equivalence
equivDfa
equivNdfa
equivRE
equivREs