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