I already felt opposed to the idea of eliding some and then I had the experienced I described here which made me feel even more strongly that encouraging the conceptual conflation of protocols with concrete types would have a net-negative effect.
6 Likes