33 ms·I meant that the current options for type checking are not good enough.by etaioinshrdlu 5y agoI meant that the current options for type checking are not good enough.