An interesting monad: "Prompt"