When talking in the context of type-systems, this is a common abbreviation though. I agree that it is annoying, but at some point you have to learn abbreviations. If it was in a different context, then it would have probably been better written out though.