I’ve been perplexed by the term witness table recently. It’s used in the Swift compiler and everyone seems to treat it like a term of art everyone knows. I asked about its origins on the Swift forums and got a nice answer from @pathofshrines! Constructive logic!