Added show_prompt. Note: this has forced to reveal the internal type of prompt. What's a better factoring?