class TEST2 [G, H] inherit TEST1 [G, H, LIST [H]] end