Jukebox.Form
data DomainSize
data Type
data FunType
class Typed a
type Variable
type Function
data Term
data Atomic
data Signed a
type Literal
data Form
data Connective
data Bind a
data CNF
data Clause
type Tag
data Kind
data Answer
data NoAnswerReason
data Input a
type Problem a
data TypeOf a
class Symbolic a
data Rep a
class Unpack a
type Subst