{-# htermination length :: [a] -> Int #-}