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