Update ghci prompt and add folding map