Description
Provides abstractions for pointed and copointed data in Haskell. These concepts are used in functional programming to describe structures that can provide or focus on a value in a principled way.
It is useful for advanced libraries involving functors, comonads, generic programming, or algebraic abstractions. It is a developer library and has no standalone interface.