Allow importing an associated constant of a type?

4 Likes