checkTerm :: Term -> Context -> Either Error ()
checkTerm (C c) context = checkContext c context
checkTerm :: Term -> Context -> Either Error ()
checkTerm (C c) context = checkContext c context
checkTerm (C c) context = checkContext c context