module PropertyBoolWithTypeSignature.Foo where

-- |
-- prop> True :: Bool
foo :: a
foo = a
forall a. HasCallStack => a
undefined