A groupoid is a category where every arrow has an inverse. this package provides them for haskell.

this package provides the documentation for a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.