[crimsonalucard]

Yeah. There's nothing special, it's purely a library which you can reimplement yourself in haskell or in other languages.

The only thing special about it is the IO thing I mentioned which is an intrinsic part of the language.

I know you mentioned javascript earlier, just know that while javascript CAN technically have monads, you kind of have to go out of your way to implement it. If you get some experience with a language that has an GADT system and really nail down the concept of a functor you'll see the full power of the monad.

I generally would avoid using a monad with languages that don't have GADT systems.