Add deMorgan's law and some more Arbitrary instances
More fun and hlint suggestions