I love this kind of thing - but I found that the compile times for types that require resolving more than about 6 levels of recursive implicits (i.e. lengths bigger than 6, if I'm reading the Nat source correctly) were just too long to be tolerable to the rest of the company. Is there any hope for improvements to the scala compiler or similar that will speed this up?