GENERIC INTERFACE SeqElem_rep(SeqElem, Elem); REVEAL SeqElem.Iter = OBJECT next: SeqElem.T := NIL; END BRANDED OBJECT elem: Elem.T; END; SeqElem.T = SeqElem.Iter BRANDED OBJECT END; END SeqElem_rep.