I mentioned this a few months ago in a place no-one noticed, it seems... http://www.haskell.org/haskellwiki/Talk:Haskell#Well-formedness_.2F_validity Please fix, or tell me who to contact (and how), or how to fix it myself? :-) Isaac