Could someone outline for me the downsides of using the Prompt monad?