This is what I was attempting to describe. `bind` is implicit, it's the constructor of a monad. In my definition `map` is serving the purpose of your flatmap,

This is what I was attempting to describe. `bind` is implicit, it's the constructor of a monad. In my definition `map` is serving the purpose of your flatmap, I didn't mean to imply double encapsulation.