[hota_mazi]

It's not just monad transformers, monads themselves are pretty awkward to use in any language that's not Haskell. And actually, a lot of FP languages simply don't even have monads at all (OCaml, F#).

Monads should never have escaped Haskell.

[tome]

> Monads should never have escaped Haskell.

They should have put them in a monad.

[s4vi0r]

Isn't a Monad just the fancy name for a type/structure that implements map and flatMap in a lawful manner?

[hota_mazi]

Close: the required operations are `flatMap` and bind/pure/point/lift/return/whatever-you-want-to-call-it.

You can derive `map` from these two other functions so it doesn't need to be part of the interface.

[ebola1717]

Bind is flatMap (>>=)

Confusingly, map in scala is fmap in Haskell

[hota_mazi]

Oops you're right of course. And I can't edit my post.