Predicate and assert functions generator from type definitions.
github.com/d-kimuson/type-predicates-generator
d-kimuson/type-predicates-generator