type Substitution
type FlexibleVars
data FlexibleVarKind
data FlexibleVar a
data FlexChoice
class ChooseFlex a
data Problem' p
type Problem
type ProblemPart
data ProblemRest
data Focus
data SplitProblem
data DotPatternInst
data AsBinding
data LHSState