Description
Provides Semigroupoids, which are like categories without an identity operation. These abstractions support advanced composition patterns used in functional programming libraries.
It is useful for optics, profunctors, generic abstractions, and category-inspired Haskell code. It is an advanced developer library and has no standalone interface.