Of course monads are burritos! return represents the common operation of wrapping the filling into a burrito. bind the also totally common operation of unwrapping a burrito, re-cooking the filling and wrapping it back. The Maybe monad is that common feeling of wondering if you've been served a burrito with no filling. The List monad represents the endless potential of adding 5 more toppings to a 25-topping burrito. And the I/O monad is a discussion about burritos that involves not eating any, such as this one.
