typed-invarianttyped-invariantinvarianttyped-invariantenhanced invariant0.0.4 • Published 8 years ago