Surely you can use `printChar` here