The files of this package which include the line THIS FILE WAS AUTOMATICALLY GENERATED in their header have been autogenerated from MonoidalCategories v2026.08-02