strict_types 2.8.2

Strict types: confined generalized algebraic data types (GADT)
Documentation