2 ms·

Modular implicits are being worked on actively, it is just a hard feature to get right in a scalable and future-compatible way.