T is not R though. I want to preserve the static type information such that if I call: baz(bar(foo(t, f))); T<A> should go into foo(..) and come out (e.g

T is not R though. I want to preserve the static type information such that if I call: baz(bar(foo(t, f))); T<A> should go into foo(..) and come out (e.g. as T<B>) such that I can then call bar(..) on it. But in this case it leaves foo(..) as R extends Fooable, which is not something I can pass into bar(..).