The intention in the report was to match in the order listed in the pattern - you need not consult the data declaration to understand the ordering. I think the report is clear enough - it's just a bug in ghc. John