Revision as of 20:34, 17 December 2011
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”).