A Burrito Is a Monad