Like how do syntax in Haskell is *exactly* the same as list comprehensions.  'cos like Lists are monads. But the explanation for lists is that  the "x <- X" is described as  x is a member of the list X, like in maths when you go 'x is a member of X' using epsilon to show membership. But in monads it means ... shove X through a  monad stripper, to get the thing before doing stuff and wrapping it back in the monad again.

Or something like that.