shorter ghci prompt