Libraries and hierarchies

[Tom Pledger]

Simon Marlow writes:
 :
 | After installing the library, the tree of modules it contains will
 | be grafted into the global hierarchy at possibly many places, and
 | the modules can then only be imported by uttering their full path
 | names in the global hierarchy.

Hi.

If that makes a module (module M where data T) appear twice in the
global hierarchy (at A and B), do the types A.M.T and B.M.T become
distinct from each other?

Sorry if that's an obtuse question.  I hope it has a short answer.

Regards,
Tom