Hmm, we could probably allow witnesses to be covariant. I mentioned it in Protocol Witness Matching Mini-Manifesto
1 Like
Hmm, we could probably allow witnesses to be covariant. I mentioned it in Protocol Witness Matching Mini-Manifesto