Continue to implement Generics Type System