type-check