Monad Confusion and the Blurry Line Between Data and Computation
micahcantor.com