use Data.Text.IO's putStr