Agda.TypeChecking.Rules.LHS.Unify
data Unify a
data Equality
type Sub
data UnifyState