Is a Burrito a Monad?