{-# htermination read :: Read a => String -> [a] #-}