Not found: type-construction-and-cycle-detection