The yes/no example from the README

I had written the README without knowing exactly how I would implement
this, and the real interface turned out to be better than I had hoped:
it is possible to stay inside the IO monad after all.