generics notes progress, how to bound type paramteres of generic methos