strict_types (cargo): Strict types: confined generalized algebraic data types (GADT)
Keywords: encoding|strict-encoding|gadt|ubideco|aluvm