Control.Monad.CC.Prompt
P, The prompt generation monad
data
P
ans m a
The Prompt type
data
Prompt
ans a
runP
newPromptName
eqPrompt
A type equality datatype
data
Equal
a b