yes, this is true. I was talking more about the UX of how to use them, which in both cases is quite painful without type inference.