data Control

data ControlM a

data Buffer

data View

data Iter

startControl

runControl

controlIO

liftYi

getControl

newBuffer

newView

getBuffer

setBufferMode

withBuffer

setText

getText