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