>> Ah, you are right. I was being to clever for my own good :-) Perhaps >> it works for all types where I used the "rnf x = rnf (x == x)" >> trick. Should I attach a new patch to the ticket with those >> definitions changed? > > Sure, that would be helpful. I have updated the patch attached to the ticket.