System.Console.Wizard.Pure

data Pure a

data UnexpectedEOI

runPure

type PureState