Why not Pointed?
(Added part of the text deleted when Pointed was removed from the Typeclassopedia (04:14, 27 November 2011))
Revision as of 20:34, 17 December 2011
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”).