Re: [Haskell-cafe] Non-atomic "atoms" for type-level programming

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