Hascell Tom Hulihan and I messing around with implementing the theories behind Haskell typeclasses in C++!