{-# htermination null :: [a] -> Bool #-}