@propensive Is that parametrized context bound ?
Pleasantly surprised to find that def foo[TC[_]: TCTC] = ... did exactly what I wanted: type constructor type classes!
-
-
-
@lkuczera Yes. An implicit instance of trait TCTC[TC[_]] will satisfy it, eg null.asInstanceOf[TCTC[List]].
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.