1 2 3 4 5 6 7 8
unit p where signature A where newtype F a = F { mkF :: a } unit q where module A where newtype F a = F { mkF :: a } unit r where dependency p[A=q:A]