ZLaws[Caps, R] represents a set of laws that values with capabilities
Caps are expected to satisfy. Laws can be run by providing a generator of
values of a type A with the required capabilities to return a test result.
Laws can be combined using + to produce a set of laws that require both
sets of laws to be satisfied.
- Companion:
- object