Data.WorldPeace

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.