== -package:hedgehog -package:ghc-lib-parser -package:singletons-base package:tasty-smallcheck

The ==> operator can be used to express a restricting condition under which a property should hold. It corresponds to implication in the classical logic. Note that ==> resets the quantification context for its operands to the default (universal).