reduce type-checking time