> My money is on layering (a variation of) open type functions (akin
> to what's happening in Haskell at the moment) on top of implicits to
> make them more robust/principled/user-friendly/...
+1 for this, especially if it makes implicits a bit more 'principled'...