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

[Claus Reinke]

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