type-checked