Haskellers would tell you that what they appreciate about this is that you don't have to understand sequence and return! They do the "same thing" for all monad

Haskellers would tell you that what they appreciate about this is that you don't have to understand sequence and return! They do the "same thing" for all monads in the sense that they obey well-defined laws. "5 == 5" is a different issue, and ironically is ambiguous because it's so simple. Most practical arithmetic expressions would have some way of disambiguating the type.