Constant Top.Q.N.K.foo (shorter name to refer to it in current context is Q.N.K.foo) Constant Top.Q.N.K.foo (shorter name to refer to it in current context is Q.N.K.foo) Constant Top.Q.N.K.foo (shorter name to refer to it in current context is Q.N.K.foo) Constant Top.Q.N.K.foo Constant Top.Q.N.K.foo (shorter name to refer to it in current context is Q.N.K.foo) Module Top.Q.N.K (shorter name to refer to it in current context is Q.N.K) Module Top.Q.N.K (shorter name to refer to it in current context is Q.N.K) Module Top.Q.N.K Module Top.Q.N.K (shorter name to refer to it in current context is Q.N.K) Module Top.Q.N (shorter name to refer to it in current context is Q.N) Module Top.Q.N Module Top.Q.N (shorter name to refer to it in current context is Q.N) Module Top.Q Module Top.Q (shorter name to refer to it in current context is Q) Constant Top.Q.N.K.foo (shorter name to refer to it in current context is K.foo) Constant Top.Q.N.K.foo Constant Top.Q.N.K.foo (shorter name to refer to it in current context is K.foo) Constant Top.Q.N.K.foo (shorter name to refer to it in current context is K.foo) Constant Top.Q.N.K.foo (shorter name to refer to it in current context is K.foo) Module Top.Q.N.K Module Top.Q.N.K (shorter name to refer to it in current context is K) Module Top.Q.N.K (shorter name to refer to it in current context is K) Module Top.Q.N.K (shorter name to refer to it in current context is K) Module Top.Q.N (shorter name to refer to it in current context is Q.N) Module Top.Q.N Module Top.Q.N (shorter name to refer to it in current context is Q.N) Module Top.Q Module Top.Q (shorter name to refer to it in current context is Q)