(explaining the concept of a burrito) Ok, so imagine a monad...