3.4.13. The OneShot Monad Trick

TODO