On: Haskell's effect on my C++ : exploit the type system

[gtani]

Also found a def of type classes that i like: automatic instantiation + constraint propagation

http://blog.garillot.net/post/15147165154/every-single-fresh...