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