The category of Haskell types and functions: the CategoryOf structure on the kind Type, with (->) as the morphisms and every type an object. The instances themselves live next to the classes they instantiate; this module just names the category.