type-predicates-generator