Generic can now be megamorphic