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