Proposal: Data.Bool.implies

Henning Thielemann lemming at
Fri Jan 22 20:18:36 UTC 2016

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.

More information about the Libraries mailing list