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