doctest-0.25.0.2: test/integration/property-quantified/Foo.hs

module Foo where

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