On Fri, 22 Jan 2016, David Feuer wrote: > How exactly would making the Ord instance for Bool lazier be "disastrous"? I think he talked about making fromEnum True = 0 and fromEnum False = 1.