public void VisitMkSequence(MkSequence seq) { writer.Write("SEQ("); WriteExpression(seq.Head); writer.Write(", "); WriteExpression(seq.Tail); writer.Write(")"); }