3.4.14. The OneShot Monad Trick

TODO