2 ms·
RankNTypes are pretty popular in libraries and break total inference. You don't need to enable the extension personally to suffer it either.
by tel 13y ago
RankNTypes are pretty popular in libraries and break total inference. You don't need to enable the extension personally to suffer it either.