Starting to type check generic for