System.Console.Readline
data Keymap
type Callback
data Entry
data UndoCode