1 2 3 4 5 6 7 8 9
unit p where module M1 where data M = M module M2 where data M = M signature A(M) where import M1 signature A(M) where import M2