Agda.Utils.IO.Locale
print
putStr
putStrLn
stdoutFlush
hGetContents