>>> fmap (+ 5) readLn > 25 30
>>> readLn :: IO String > this is not a string literal *** Exception: user error (Prelude.readIO: no parse)
>>> :set -XTypeApplications >>> S.sum $ S.take 2 (S.readLn @IO @Int) 10<Enter> 12<Enter> 22 :> ()
>>> S.toList $ S.take 2 (S.readLn @IO @Int) 10<Enter> 1@#$%^&*\<Enter> 12<Enter> [10,12] :> ()