Why not Pointed?

The Pointed type class lives in the pointed library, moved from the category-extras library.

Edward Kmett, the author of category-extras, pointed, and many related packages, has since moved his focus to semigroupoids and semigroups. He finds them more interesting and useful, and considers Pointed to be historical now (he still provides the pointed package only because “people were whinging”).