Cool! I've used type classes in Haskell but had no idea how you could even start to implement them. It's like learning about vtable pointers for a C++ programmer.