tyAllNormalizeRules :: TyAllNormalizeConstraint ki ty a
                    => NormalizeInput ki ty a
tyAllNormalizeRules =
  NormalizeInput
    [ NormalizeTypeRecurse normalizeAll ]
tyAllNormalizeRules :: TyAllNormalizeConstraint ki ty a
                    => NormalizeInput ki ty a
tyAllNormalizeRules =
  NormalizeInput
    [ NormalizeTypeRecurse normalizeAll ]
tyAllNormalizeRules =
  NormalizeInput
    [ NormalizeTypeRecurse normalizeAll ]