Apply suggestions from code review

Co-authored-by: Jeffrey Young <[email protected]>

Author: KisaragiEffective

src/Optimizations/GHC_opt/lambda_lifting.rst

@@ -37,16 +37,16 @@ Thus |glift| turns into:
 .. code-block:: haskell
 
    g_lifted a 0 = a
-   g_lifted a n = 1 + g_lifted (n - 1)
+   g_lifted a n = 1 + g_lifted a (n - 1)
 
 Now ``a`` is an input, which means that |glift| can be floated out of ``f``
 to the top level producing the final program:
 
 .. code-block:: haskell
 
-   g :: Int -> Int -> Int
+   g_lifted :: Int -> Int -> Int
    g_lifted a 0 = a
-   g_lifted a n = 1 + g_lifted (n - 1)
+   g_lifted a n = 1 + g_lifted a (n - 1)
 
    f :: Int -> Int -> Int
    f a 0 = a