System.Console.Wizard.Internal

data Wizard backend a

type PromptString

data (f :+: g) w

class sub :<: sup

inject

class Run a b

run

data Output w

data OutputLn w

data Line w

data LinePrewritten w

data Password w

data Character w

data ArbitraryIO w