States need to be instances of Eq (fix compilation error in newer versions of GHC).