test :: Bool -> IO () test b = do putStrLn "hello" _ pure ()