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