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