System.Console.CmdTheLine
data Term a
data TermInfo
defTI
data ManBlock
data HelpFormat
type Err
msgFail
usageFail
helpFail
ret