I'm sure someone has had that problem before: I have a whitebox macro that takes a type constructor. In the macro, all I see is just an `F[_]`. I need to see the concrete type. Can I do that?
Show this thread
-
Hmm, maybe this is not a problem. But if I try to apply that `F` to an argument, I get Any does not take type parameters
Show this thread
How are you capturing the WeakTypeTag typeclass instance on a type constructor? I usually make type constructors into existential proper types when calling a macro...
