{-# htermination head :: [a] -> a #-}