doctest-0.25.0: test/integration/property-implicitly-quantified/Foo.hs

module Foo where

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