Known problems with promoted tuples and lists in GHC 7.4.1?

Are there any known issues involving type-level pairs and lists? I've hit a few baffling type errors that went away when I refactored my code to use locally-defined pairs and lists instead of those provided by the prelude. More worryingly, I had one function that would stop passing the type checker if I replaced '[n] with (n ': '[]) in its signature. -- Dave Menendez http://www.eyrie.org/~zednenem/