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