These days, all I say about monads is that they're a design pattern (albeit a rigorous one) for sequencing well-defined operations with controlled side effects over a container type. They speak for themselves more than tortured analogies involving alligators or tacos ever could. Design patterns are something every programmer can relate to, and no bizarre analogies are necessary to explain monads in terms of them.