What you’re looking for is something similar to multi-parameter type classes in Haskell. This has come up occasionally in the past. I believe the most recent discussion happened here: Improving the UI of generics - #53 by Joe_Groff.
3 Likes