[Haskell-cafe] Re: Type system

Don Stewart wrote:

As Manuel says, in C++ type level programming was an accident, in Haskell, it was by design.

Was it, really? I was laways under teh impression that Oleg-style type system tricks were not in the least anticipated back when Haskell acquired type classes... Cheers Ben