if you understand the categorical terminology, this is actually a really good way to learn about monad behavior imo
for those of you who don’t get the underlying joke here, monads are usually the first really difficult concept people run into when they start learning about functional programming.
since “a monad is just a monoid in the category of endofunctors, what’s the problem?” is not illuminating to most, the burrito analogy has seen widespread use trying to illustrate monadic behavior, but often ends up being a gross oversimplification.
the state of introductory materials for people getting into FP (especially if their entry is via Haskell) is rather abysmal, so the author is poking fun at that here in what is an (imo hilarious) recasting of the burrito analogy back into category theoretic language to make things difficult again.