Description
A Haskell library for working with data types whose fields can be transformed by changing an outer type parameter. This pattern is useful for validation, forms, database records, and generic programming over similar shapes.
Developers use it in advanced typed APIs where one record shape needs multiple representations. The name is playful, but the package is a serious generic-programming library.