more correct ghci prompt