Unless you keep a mapping of class -> typeclass...
# functional
e
Unless you keep a mapping of class -> typeclasses but then generics would still be a problem because of erasure