Well to be fair, Functor and Monad in base are pretty far removed from the Category Theory originals. https://hackage.haskell.org/package/categories https://ha

Well to be fair, Functor and Monad in base are pretty far removed from the Category Theory originals. https://hackage.haskell.org/package/categories https://hackage.haskell.org/package/categories has something much closer to the math. Maybe we should just save the math explanation for the latter, and just call the former something else? :O