Hello, Does the user guide documentation for these reflect current ghc compiler? Para. 7.2.2 says they can only be deconstructed using case expressions but by accident I've found they seem to work fine in let bindings too (with ghc version 6.2.2). Not that I'm complaining (I always thought using case expressions was just too painful :-). I just wanted to check that this is a feature I can rely on in future (and if so suggest the user guide should be ammended to reflect this). Regards -- Adrian Hey