Macros, deeply nested implicits, strange types...

scala.meta?