in case anyone stumbles over my ad-hoc notations, that should have been:
module A[type label] where x = undefined :: label module B[type label] where x = undefined :: label
module C[type label] where import A[label] import B[label] ok = [A.x,B.x]
assuming that: - 'module X[types]' means a module parameterized by 'types' - 'import X[types]' means a module import with parameters 'types'. Claus _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe