Proposal: Data.Bool.implies

[Bardur Arantsson]

On 01/18/2016 07:14 AM, David Feuer wrote:
> I think changing the Ord instance for Bool *may* be the way to go.

If that happens then perhaps an "implies" alias in Data.Bool might still
be relevant?

I, for one, would almost certainly not have discovered "<=" if I were
looking for this function. That said, I don't think I've ever had a need
for "implies", so...

+0 for an alias, I guess.