genz 0.4.0

Uniqueness of types via invariant lifetimes.
Documentation