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