checkArgType :: Term -> Context -> Either Error ()
checkArgType (C c) ctx = checkContext c ctx
checkArgType :: Term -> Context -> Either Error ()
checkArgType (C c) ctx = checkContext c ctx
checkArgType (C c) ctx = checkContext c ctx