It can't, but it has the type `Assertion = IO ()` whereas I wanted a polymorphic `IO a`.