introduce ideas typebinding w generics and modifiers