{-# htermination readLn :: IO Bool #-}