pretty prompt for ghci