referring to deeply embedded definitions

[Hal Daume]

Suppose I have:

> module M1 where
> import M2
> foo =3D 'a'

and
> module M2 where
> import M3

and

> module M3 where
> foo =3D True

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

> bar =3D if M2.foo then M1.foo else 'b'

or

> bar =3D if M3.foo then M1.foo else 'b'

but neither of these is valid.  Is there any way to get at the
definition from M3?

 - Hal

--
 Hal Daume III                                   | hdaume@isi.edu
 "Arrest this man, he talks in maths."           | www.isi.edu/~hdaume