Re: referring to deeply embedded definitions

Hal Daume wrote:

Suppose I have:

...

module M1 where import M2 foo = 'a'

and

...

module M2 where import M3

and

...

module M3 where foo = True

Now, inside M1, I want to write something like:

...

bar = if M2.foo then M1.foo else 'b'

M2 must reexport "foo": module M2 (foo) where import M3