| Currently in GHC, we have the problem that it seems impossible to put | unicode characters in source files at all, even in string literals. Actually Simon added Unicode support to GHC a few weeks ago, so source files can now use Unicode characters. Try any HEAD build or binary snapshot. Simon