a monad is like a taco salad.