Progress in type checking generic free funcs