module PropertyQuantified.Foo where

-- |
-- prop> \x -> abs x == abs (abs x)
foo :: a
foo = a
forall a. HasCallStack => a
undefined