can now match generic method with derived-type arguments