GHC enthusiasts, Simon M is on holiday this week (14 Aug), and I'm on holiday next week (21 Aug), so GHC HQ may seem less responsive than usual. For example, thanks for Johan and Esa for recent patches -- but I'll leave them for Simon to review and commit. keep hacking, though! Simon