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