1 2 3 4 5 6 7 8 9
==================== Parser ==================== module ShouldFail where f :: Int -> IO Int f x = do (2 + 2) <- 2 return x