Proposal: Data.Bool.implies

[Henning Thielemann]

On Mon, 18 Jan 2016, Niklas Hambüchen wrote:

> A quick superficial search on Stackage Hoogle suggests that adding this 
> function should create no breakage (4 packages define their own function 
> called `implies`, none of them import Data.Bool).

One of it is certainly my:
    https://hackage.haskell.org/package/utility-ht-0.0.11/docs/Data-Bool-HT.html#v:implies

that you can simply import without altering 'base'.