module PropertyBool.Foo where -- | -- prop> True foo :: a foo = a forall a. HasCallStack => a undefined