This Typelevel Scala collaboration sponsored by Lightbend ... This is an implementation of byname implicit parameters with recursive dictionaries, intended as a language-level replacement for shape...