A small module for using with ghci -interactive-print for printing non-latin strings