module PropertyBool.Foo where

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