IDE.TextEditor
data EditorView
data EditorMark
data EditorIter
data EditorTag