fixupNormalize :: (Type ki ty a -> Type ki ty a)
               -> TyAst ki ty (TyAstVar a)
               -> TyAst ki ty (TyAstVar a)
fixupNormalize fn =
  review _Unwrapped .
  fn .
  review _Wrapped
fixupNormalize :: (Type ki ty a -> Type ki ty a)
               -> TyAst ki ty (TyAstVar a)
               -> TyAst ki ty (TyAstVar a)
fixupNormalize fn =
  review _Unwrapped .
  fn .
  review _Wrapped
fixupNormalize fn =
  review _Unwrapped .
  fn .
  review _Wrapped