Proposal: Applicative => Monad: Call for consensus

[Henning Thielemann]

Maciej Piechotka schrieb:

> I agree that there are advantages of both ways and they are perfectly
> compatible with each other. While I don't know about GHC internals I'd
> assume that class v-tables (term borrowed from C++ I'm not sure about
> Haskell terminology) is per-class and not copied for each function
> invocation.

"Method dictionary"

http://www.haskell.org/haskellwiki/OOP_vs_type_classes