Sorry was generalizing. I meant generics and protocols in combination. The ability to define a protocol based on a generic would be fantastic. It&#x27;s something that is solved in Haskell fairly well.