- redef type U: Int
- redef meth foo(a: T) do a.output
- redef meth bar(b: U) do b.output
- redef meth baz(i: Int) do i.output
- redef meth output do 'B'.output
+ redef type U: C
+ redef fun foo(a: T) do a.out
+ redef fun bar(b: U) do b.out
+ redef fun baz(i: C) do i.out
+ redef fun out do 'B'.output