Re: Proposal: Applicative => Monad: Call for consensus

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