Support for extending/implementing/using type parameters