{-# htermination (==) :: Eq a => a -> a -> Bool #-}