> You could make a type alias for the first part Yes, you're right, tho again I admit my example was a bit stupid, as I put a concrete `int` there but actually is kind of what remains generic, I just wanted to "focus" on certain parameters. Like a typeclass-alias, rather than a type alias.
E.g. let's say I have `Bar[S:static[int],T:Tar]`s but I was wondering if there's a way I'm able to write stuff like `Foo[2]` or `Foo[x]` to represent the _typeclass_ "all `Bar`s where `S=2` and `T: Tar`." (`Tar` might be another static needed to reify type.) Maybe I'm not making much sense... This was originally just to get around having to specify `proc foo[A: static[..], B: static[...], C: static[...]](xs: Fux[A,B,C,...])` when I don't really care about `B` or `C` in this proc, I just care about `A`, like `proc foo[A: static[int]](xs: Fux[A, _, _, ...])`. It's not a huge deal, I was just finding it very noisy and repetitive in code. > For the latter you could use static[openarray[int]] That's interesting! And exactly the kind of knowledge I feel I'm lacking. What's the logic here, how did you know this is the case, where do I find more information to understand it?
