Maybe we should use TIO.putStrLn everywhere ?