Open Union and Open Product Types https://github.com/cdepillabout/world-peace
See all snapshots world-peace appears in
There are no documented modules for this package.
This package defines open union and open product types. It also defines many
combinators for working with these types.
See the hackage documentation
for more explanation and examples.