Grégoire Locqueville on Nostr: A related observation: "A burrito is like a functor: it takes a type, like meat or ...

A related observation:

"A burrito is like a functor: it takes a type, like meat or beans, and turns it into a new type, like beef burrito or bean burrito."

https://blog.plover.com/prog/burritos.html