I\'ve been having some issues with ANSI color codes when using haskeline.
My code (effectively) does this getInputLine $ printf "\\x001b[38;5;14mprophet@pr
getInputLine $ printf "\\x001b[38;5;14mprophet@pr