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