sobolevn opened this issue 3 years ago · 1 comments
We can really infer that some type is a protocol. Let's try that.
Ok, let's be explicit. It might end up in a really big mess.