make type checks fast