Agda.Utils.IO.Locale

print

putStr

putStrLn

stdoutFlush

hGetContents