Description
A Haskell library that provides swap and association helpers for Symmetric and Semigroupy bifunctors. It supports advanced generic programming where values with two type parameters need to be rearranged in principled ways.
Developers use it through functional programming libraries that rely on these abstractions. It is specialist infrastructure rather than an application.