nicer ghci prompt