> I think it would be good to reproduce the bits regarding the > strictness of derived instances of Eq and Bool in the base haddocks. I meant the derived instances of Eq and Ord of course!