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