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