I haven't actually tried running it yet, but https://github.com/slamdata/quasar has more and more serious compilation time issues than any project I've ever worked on (and I've worked on shapeless, emm, and some other doozies). It would be an excellent candidate for seeing exciting things, especially related to type inference, complex higher-kinded types, and complex implicit resolution (though some of this has been tamped down since we switched out scalaz.Coproduct for Iota).
I haven't actually tried running it yet, but https://github.com/slamdata/quasar has more and more serious compilation time issues than any project I've ever worked on (and I've worked on shapeless, emm, and some other doozies). It would be an excellent candidate for seeing exciting things, especially related to type inference, complex higher-kinded types, and complex implicit resolution (though some of this has been tamped down since we switched out
scalaz.Coproductfor Iota).