[Haskell-cafe] Testing nested implication properties with QuickCheck?

[Ahn, Ki Yung]

How should I use QuickCheck for testing a property that is a nested
implecation such as (A ==> B) ==> C ?

The problem is (==>) in QuickCheck is that its type is Testable prop =>
Bool -> prop -> Property  rather than Testable prop => prop -> prop ->
Property.  So, A ==> (B ==> C) would work but (A ==> B) ==> C won't work
when A, B, C are boolean expressions.  Is there some trick to handle the
latter?

Thanks,

--
  Ahn, Ki Yung