3 ms·Or perhaps type checking simply not terminating at all.by phs 6y agoOr perhaps type checking simply not terminating at all.