normalizeAll :: TyAllNormalizeConstraint ki ty a
             => (forall b. Type ki ty b -> Type ki ty b)
             -> Type ki ty a
             -> Maybe (Type ki ty a)
normalizeAll normalizeFn ty = do
  (k, s) <- preview _TyAll ty
  return $ review _TyAll (k, scopeAppTy normalizeFn s)
normalizeAll :: TyAllNormalizeConstraint ki ty a
             => (forall b. Type ki ty b -> Type ki ty b)
             -> Type ki ty a
             -> Maybe (Type ki ty a)
normalizeAll normalizeFn ty = do
  (k, s) <- preview _TyAll ty
  return $ review _TyAll (k, scopeAppTy normalizeFn s)
normalizeAll normalizeFn ty = do
  (k, s) <- preview _TyAll ty
  return $ review _TyAll (k, scopeAppTy normalizeFn s)