@engil
1. Yes, I'm looking forward to modular implicits too!
2. Uh... yeah. So, about lenses...
3. *fake a phone call*