A burrito is just a strong monad in the symmetric monoidal category of food, what’s the promise?