doctest-parallel-0.1: test/integration/PropertyQuantified/Foo.hs

module PropertyQuantified.Foo where

-- |
-- prop> \x -> abs x == abs (abs x)
foo = undefined