MODULE RealComplexSeq = Sequence (RealComplex, RealComplexSeq, RealComplexSeqRep) END RealComplexSeq.