They're very much related to the point I was addressing, namely "What does it cost to add a new type in a language like Java". You're going to have type annotat

They're very much related to the point I was addressing, namely "What does it cost to add a new type in a language like Java". You're going to have type annotations in your signature no matter what, but adding a new type is relatively expensive.