ioAssertTrue :: IO Bool -> IO ()
ioAssertTrue a = do a' <- a
                    assert "ioAssertTrue" a' $ return ()
ioAssertTrue :: IO Bool -> IO ()
ioAssertTrue a = do a' <- a
                    assert "ioAssertTrue" a' $ return ()
ioAssertTrue a = do a' <- a
                    assert "ioAssertTrue" a' $ return ()