{-# htermination readLn :: Read a => IO [a] #-}