| FinCons 3 q | desugars to | | q `seq` FinCons 3 q wherever it appears, | | strict fields have no effect on deconstructing data types. That's GHC's behaviour too. I think it's the right one too! (It's certainly easy to explain.) Simon