I have normal implicits that derive stuff based on types as usual, this is all pretty “singleton type” based in general. The computed givens/implicits carry both value and type information, but usage wise, sometimes I want the value and so I use a typical using clause, other times I don’t need the values and just the computed types, so I put them in erased position.
It’s been a useful feature so far but I guess I could just duplicate the machinery to have it all inline def based and a non inline def version? the user (in reality just me) would have to know which givens to import and when, kinda annoying. I could also just do all inline defs but that’d be a nasty code explosion in general and goes against JITs too.