Agda.TypeChecking.Rules.LHS.Problem
data Problem' p
data Focus
data SplitError
type Problem