This is join work with Samuel Vivien and Gabriel Scherer, exploring the addition of modular implicit in an ML-like module system build on top of Fomega with partial type inference.
The goal is to explore the resolution strategies and the interaction between type-checking and type-inference in the core language and the resolution of implicits.