Library for creating tagged constructors.
Property-based tests for Fantasy Land -compliant algebraic data types