Monads are like burritos