[xtho]

I guess scala isn't already complex or rather implicit enough.

Is this implemented as a library or does it also require changes to the language/compiler?

[baconserker]

It required a small language change, which I believe you can see in it's entirety here: https://lampsvn.epfl.ch/trac/scala/changeset/23993