introduce <== operator

[jwaldmann]

class Boolean b has implication as (==>) :: b -> b -> b.

I wanted to write reverse implication <== and to my surprise, there is no such thing.

for reference, https://hoogle.haskell.org/?hoogle=%3C%3D%3D&scope=set%3Astackage