If we are talking hypotheticals, what if there were a phantom typeclass scala.reflect.ParamList[_], so only if you have:
def foo[A: ParamList](params: A): Unit = ???
The compiler would pass in a tuple? Basically make it an opt-in thing.
4 Likes