unifies handling of T's in various analyses of Foo[T]'s