==================== Parser ====================
module ShouldFail where
f :: Int -> IO Int
f x = do
	(2 + 2) <- 2
	return x