I\'m having trouble figuring out if I can use implied values for generic arguments in types, the same way that\'s possible in functions.
Assume I have th
