I think a better analogy with OO languages would be a Function object for which you've provided one of the arguments in its constructor. Inheritance is more si

I think a better analogy with OO languages would be a Function object for which you've provided one of the arguments in its constructor. Inheritance is more similar to monad transformers.