The OP's statement doesn't make sense to you. That doesn't necessarily mean OP's point doesn't make sense or that OP doesn't know what he/she it talking about.

The OP's statement doesn't make sense to you. That doesn't necessarily mean OP's point doesn't make sense or that OP doesn't know what he/she it talking about. It means you need more info before you can judge. (Also: I didn't mean to make any statement about your knowledge of type systems. I was referring to your understanding of what OP was attempting to communicate.)