I often felt that needing to be explicit pays off to clear up the thinking. I remember cases where I thought I could just duck type it, but introducing traits made it much clearer what I was talking about.