Swift: Why Associated Types? - It's rabbit holes all the way down