Generics, modules and typeinfo