Monad transformers with mapT, flatMapT and else

[saltylight]

Protocol-Oriented Monad Transformer

In that youtube link you can see monad transformers such as mapT, mapTT, flatMapT, else.

By using mapT we can change our codes as below.

Identity(Maybe.of(1)).map(maybe => maybe.map(x => x + 1)) // this code transforms Identity(Just(1)) to Identity(Just(2))

Identity(Maybe.of(1)).mapT(x => x + 1) // this code does same thing as above

I know there is 'MonadT' styled monad transformation in Haskell world, but I think both can exist in monet.js

Need some comment and idea about this.

[ulfryk]

Hmm. Protocol oriented monad transformers will not be easy to type using typescript.

I was also thinking about dropping current monadT impl from monet (maybe reintroduce it as a separate helper lib for monet)

This is not that easy in JS world.