class B [G -> {E, A [E]}] feature -- Test g (a: A [E]) require t (+ a) do end t (a: ANY): BOOLEAN do Result := True end h (a: G) require t (+ a) do end end