I mean interface not as a language construct, but as a declaration of how module (class, component etc) can be used. You want to see the type in such declaratio

I mean interface not as a language construct, but as a declaration of how module (class, component etc) can be used. You want to see the type in such declaration, not to infer it based on implementation details.