Or perhaps type checking simply not terminating at all.