Burrito-like sandwiches have emerged several times independently, but were not put on a solid theoretical footing until their connection to monads became apparent in the early 1970s [3, 7].

I just read this lovely “paper.” Pretty great. I was charmed.