impl: move `liftTypedString` to `Language.Haskell.TH.Show`

[haskell/symantic-parser.git] / tests / Golden / Machine / G14.expected.txt

diff --git a/tests/Golden/Machine/G14.expected.txt b/tests/Golden/Machine/G14.expected.txt
index 331e6662b28b5f3e7dc4979f4e3d2a1c73a2640c..26867938e52a6754dc186e11d82ee48154e779c7 100644 (file)
--- a/tests/Golden/Machine/G14.expected.txt
+++ b/tests/Golden/Machine/G14.expected.txt
@@ -9,7 +9,7 @@ let name
 |   alwaysRaise=[]
 |   freeRegs=[]
 | | <catchScope>
-| | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
+| | | pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
 | | |   minReads=2
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -19,12 +19,12 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=0
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | pushValue (\x_0 -> x_0)
+| | | pushValue (\u_0 -> u_0)
 | | |   minReads=0
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -40,7 +40,7 @@ let name
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
 | | | | <ok>
-| | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
+| | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
 | | | | |   minReads=4
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -50,7 +50,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=4
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -60,7 +60,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -70,7 +70,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -80,7 +80,7 @@ let name
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -106,9 +106,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | |                                                                j_1
-| | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | |   minReads=0
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -118,7 +116,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | | <branch (\x_0 -> x_0)>
+| | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | readRegister reg
 | | | | | | |   minReads=0
 | | | | | | |   mayRaise=[]
@@ -129,12 +127,12 @@ let name
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=0
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=0
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
@@ -144,7 +142,7 @@ let name
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=0
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
@@ -176,9 +174,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | |                                                                j_1
-| | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | |   minReads=0
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -188,7 +184,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | | <branch (\x_0 -> x_0)>
+| | | | <branch (\u_0 -> u_0)>
 | | | | | jump name
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
@@ -205,7 +201,7 @@ let name
   mayRaise=[]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> x_1)
+| pushValue (\u_0 -> \u_1 -> u_1)
 |   minReads=0
 |   mayRaise=[]
 |   alwaysRaise=[]
@@ -270,7 +266,37 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> GHC.Tuple.())
+| pushValue (\u_0 -> GHC.Tuple.())
+|   minReads=1
+|   mayRaise=[ExceptionFailure]
+|   alwaysRaise=[]
+|   freeRegs=[]
+| comment "satisfy GHC.Unicode.isSpace"
+|   minReads=1
+|   mayRaise=[ExceptionFailure]
+|   alwaysRaise=[]
+|   freeRegs=[]
+| read GHC.Unicode.isSpace
+|   minReads=1
+|   mayRaise=[ExceptionFailure]
+|   alwaysRaise=[]
+|   freeRegs=[]
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
+|   minReads=0
+|   mayRaise=[]
+|   alwaysRaise=[]
+|   freeRegs=[]
+| ret
+|   minReads=0
+|   mayRaise=[]
+|   alwaysRaise=[]
+|   freeRegs=[]
+let name
+  minReads=1
+  mayRaise=[ExceptionFailure]
+  alwaysRaise=[]
+  freeRegs=[]
+| pushValue (\u_0 -> \u_1 -> GHC.Tuple.())
 |   minReads=1
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -280,12 +306,12 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=0
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| pushValue (\x_0 -> x_0)
+| pushValue (\u_0 -> u_0)
 |   minReads=0
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -301,7 +327,7 @@ let name
 |   alwaysRaise=[]
 |   freeRegs=[reg]
 | | <ok>
-| | | pushValue (\x_0 -> \x_1 -> x_1)
+| | | pushValue (\u_0 -> \u_1 -> u_1)
 | | |   minReads=1
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -311,7 +337,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=0
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
@@ -321,7 +347,7 @@ let name
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=0
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
@@ -347,9 +373,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | |                                                                j_1
-| | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | |   minReads=0
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -359,7 +383,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | | <branch (\x_0 -> x_0)>
+| | | | <branch (\u_0 -> u_0)>
 | | | | | readRegister reg
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
@@ -370,12 +394,12 @@ let name
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -391,46 +415,6 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[ExceptionFailure]
 | | | | |   freeRegs=[]
-let name
-  minReads=1
-  mayRaise=[ExceptionFailure]
-  alwaysRaise=[]
-  freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> x_1)
-|   minReads=1
-|   mayRaise=[ExceptionFailure]
-|   alwaysRaise=[]
-|   freeRegs=[]
-| comment "satisfy GHC.Unicode.isSpace"
-|   minReads=1
-|   mayRaise=[ExceptionFailure]
-|   alwaysRaise=[]
-|   freeRegs=[]
-| read GHC.Unicode.isSpace
-|   minReads=1
-|   mayRaise=[ExceptionFailure]
-|   alwaysRaise=[]
-|   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-|   minReads=0
-|   mayRaise=[]
-|   alwaysRaise=[]
-|   freeRegs=[]
-| call name
-|   minReads=0
-|   mayRaise=[]
-|   alwaysRaise=[]
-|   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-|   minReads=0
-|   mayRaise=[]
-|   alwaysRaise=[]
-|   freeRegs=[]
-| ret
-|   minReads=0
-|   mayRaise=[]
-|   alwaysRaise=[]
-|   freeRegs=[]
 let name
   minReads=2
   mayRaise=[ExceptionFailure]
@@ -442,7 +426,7 @@ let name
 |   alwaysRaise=[]
 |   freeRegs=[]
 | | <catchScope>
-| | | pushValue (\x_0 -> \x_1 -> x_1)
+| | | pushValue (\u_0 -> \u_1 -> u_1)
 | | |   minReads=2
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -452,7 +436,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=1
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -462,7 +446,7 @@ let name
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=0
 | | | |   mayRaise=[]
 | | | |   alwaysRaise=[]
@@ -483,7 +467,7 @@ let name
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
 | | | | <catchScope>
-| | | | | pushValue (\x_0 -> '0')
+| | | | | pushValue (\u_0 -> '0')
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -498,7 +482,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=1
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -524,9 +508,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | |                                                                j_1
-| | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -536,8 +518,8 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | | <branch (\x_0 -> x_0)>
-| | | | | | | pushValue (\x_0 -> '1')
+| | | | | | <branch (\u_0 -> u_0)>
+| | | | | | | pushValue (\u_0 -> '1')
 | | | | | | |   minReads=2
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -552,7 +534,7 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=1
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -579,9 +561,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | |                                                                j_1
-| | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | |   minReads=2
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -591,14 +571,14 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | | <branch (\x_0 -> x_0)>
+| | | | <branch (\u_0 -> u_0)>
 | | | | | catch ExceptionFailure
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
 | | | | | | <catchScope>
-| | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
+| | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> u_1)
 | | | | | | |   minReads=4
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -613,7 +593,7 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=3
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -623,7 +603,7 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | |   minReads=2
 | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | |   alwaysRaise=[]
@@ -638,7 +618,7 @@ let name
 | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | |   alwaysRaise=[]
 | | | | | | | |   freeRegs=[]
-| | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | |   minReads=1
 | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | |   alwaysRaise=[]
@@ -648,7 +628,7 @@ let name
 | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | |   alwaysRaise=[]
 | | | | | | | |   freeRegs=[]
-| | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | |   minReads=0
 | | | | | | | |   mayRaise=[]
 | | | | | | | |   alwaysRaise=[]
@@ -669,7 +649,7 @@ let name
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
 | | | | | | | | <catchScope>
-| | | | | | | | | pushValue (\x_0 -> \x_1 -> x_1)
+| | | | | | | | | pushValue (\u_0 -> \u_1 -> u_1)
 | | | | | | | | |   minReads=3
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
@@ -684,7 +664,7 @@ let name
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[]
-| | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | |   minReads=2
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
@@ -694,7 +674,7 @@ let name
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[]
-| | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | |   minReads=2
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
@@ -720,9 +700,7 @@ let name
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[]
-| | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | |                                                                j_1
-| | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | |   minReads=4
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
@@ -732,8 +710,8 @@ let name
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | <branch (\x_0 -> x_0)>
-| | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_2)
+| | | | | | | | | | <branch (\u_0 -> u_0)>
+| | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_2)
 | | | | | | | | | | |   minReads=4
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -748,7 +726,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=3
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -763,7 +741,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=2
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -773,7 +751,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=2
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -800,9 +778,7 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | |                                                                j_1
-| | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | |   minReads=2
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -812,8 +788,8 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | | <branch (\x_0 -> x_0)>
-| | | | | | | | | pushValue (\x_0 -> \x_1 -> x_1)
+| | | | | | | | <branch (\u_0 -> u_0)>
+| | | | | | | | | pushValue (\u_0 -> \u_1 -> u_1)
 | | | | | | | | |   minReads=2
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
@@ -823,7 +799,7 @@ let name
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[]
-| | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | |   minReads=0
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
@@ -833,7 +809,7 @@ let name
 | | | | | | | | |   mayRaise=[]
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | |   minReads=0
 | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | |   alwaysRaise=[]
@@ -849,7 +825,7 @@ let name
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[]
 | | | | | | | | | | <catchScope>
-| | | | | | | | | | | pushValue (\x_0 -> GHC.Tuple.())
+| | | | | | | | | | | pushValue (\u_0 -> GHC.Tuple.())
 | | | | | | | | | | |   minReads=2
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -859,7 +835,7 @@ let name
 | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | |   alwaysRaise=[]
@@ -880,7 +856,7 @@ let name
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
 | | | | | | | | | | | | <catchScope>
-| | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1)
+| | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_1)
 | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
@@ -890,7 +866,7 @@ let name
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
@@ -900,7 +876,7 @@ let name
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -910,7 +886,7 @@ let name
 | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -931,7 +907,7 @@ let name
 | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | |   freeRegs=[]
 | | | | | | | | | | | | | | <catchScope>
-| | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
+| | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
 | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -941,12 +917,12 @@ let name
 | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | pushValue (\x_0 -> x_0)
+| | | | | | | | | | | | | | | pushValue (\u_0 -> u_0)
 | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -962,7 +938,7 @@ let name
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[reg]
 | | | | | | | | | | | | | | | | <ok>
-| | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
+| | | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
 | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -972,7 +948,7 @@ let name
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -982,7 +958,7 @@ let name
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -992,7 +968,7 @@ let name
 | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -1002,7 +978,7 @@ let name
 | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -1028,9 +1004,7 @@ let name
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | | | | | | | | | |                                                                j_1
-| | | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -1040,7 +1014,7 @@ let name
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | | | | | | | | | | | | readRegister reg
 | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
@@ -1051,12 +1025,12 @@ let name
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -1066,7 +1040,7 @@ let name
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -1098,9 +1072,7 @@ let name
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | | | | | | | |                                                                j_1
-| | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -1110,7 +1082,7 @@ let name
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | | | | | | | | | | call name
 | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
@@ -1138,9 +1110,7 @@ let name
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | | | | | |                                                                j_1
-| | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | | | | | |   minReads=5
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
@@ -1150,7 +1120,7 @@ let name
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | | | | | | | | call name
 | | | | | | | | | | | | | | |   minReads=5
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
@@ -1178,9 +1148,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | | | |                                                                j_1
-| | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | | | |   minReads=0
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -1190,7 +1158,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | | | | | | call name
 | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | |   mayRaise=[]
@@ -1224,7 +1192,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> '(')
+| pushValue (\u_0 -> \u_1 -> '(')
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1239,7 +1207,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=1
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1249,7 +1217,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=0
 |   mayRaise=[]
 |   alwaysRaise=[]
@@ -1264,7 +1232,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> ')')
+| pushValue (\u_0 -> \u_1 -> ')')
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1279,7 +1247,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=1
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1289,7 +1257,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=0
 |   mayRaise=[]
 |   alwaysRaise=[]
@@ -1304,7 +1272,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> ',')
+| pushValue (\u_0 -> \u_1 -> ',')
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1319,7 +1287,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=1
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1329,7 +1297,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=0
 |   mayRaise=[]
 |   alwaysRaise=[]
@@ -1344,7 +1312,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> ';')
+| pushValue (\u_0 -> \u_1 -> ';')
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1359,7 +1327,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=1
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1369,7 +1337,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=0
 |   mayRaise=[]
 |   alwaysRaise=[]
@@ -1384,7 +1352,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> \x_2 -> x_2)
+| pushValue (\u_0 -> \u_1 -> \u_2 -> u_2)
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1394,12 +1362,12 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=0
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| pushValue (\x_0 -> x_0)
+| pushValue (\u_0 -> u_0)
 |   minReads=0
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1415,7 +1383,7 @@ let name
 |   alwaysRaise=[]
 |   freeRegs=[reg]
 | | <ok>
-| | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
+| | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> u_3)
 | | |   minReads=4
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1430,7 +1398,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=3
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1440,7 +1408,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=2
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1450,7 +1418,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=0
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
@@ -1460,7 +1428,7 @@ let name
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=0
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
@@ -1486,9 +1454,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | |                                                                j_1
-| | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | |   minReads=0
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1498,7 +1464,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | | <branch (\x_0 -> x_0)>
+| | | | <branch (\u_0 -> u_0)>
 | | | | | readRegister reg
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
@@ -1509,12 +1475,12 @@ let name
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -1524,7 +1490,7 @@ let name
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -1545,7 +1511,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> x_1)
+| pushValue (\u_0 -> \u_1 -> u_1)
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1555,7 +1521,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=0
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1565,7 +1531,7 @@ let name
 |   mayRaise=[]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | |   minReads=0
 | |   mayRaise=[]
 | |   alwaysRaise=[]
@@ -1581,7 +1547,7 @@ let name
 |   alwaysRaise=[]
 |   freeRegs=[]
 | | <catchScope>
-| | | pushValue (\x_0 -> GHC.Tuple.())
+| | | pushValue (\u_0 -> GHC.Tuple.())
 | | |   minReads=5
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1591,7 +1557,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=0
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
@@ -1617,9 +1583,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | |                                                                j_1
-| | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | |   minReads=0
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1629,7 +1593,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | | <branch (\x_0 -> x_0)>
+| | | | <branch (\u_0 -> u_0)>
 | | | | | call name
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
@@ -1651,7 +1615,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> x_1)
+| pushValue (\u_0 -> \u_1 -> u_1)
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1662,7 +1626,7 @@ let name
 |   alwaysRaise=[]
 |   freeRegs=[]
 | | <catchScope>
-| | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_2)
+| | | pushValue (\u_0 -> \u_1 -> GHC.Tuple.())
 | | |   minReads=2
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1677,12 +1641,12 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=1
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[]
-| | | pushValue (\x_0 -> x_0)
+| | | pushValue (\u_0 -> u_0)
 | | |   minReads=1
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1698,7 +1662,7 @@ let name
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
 | | | | <ok>
-| | | | | pushValue (\x_0 -> \x_1 -> x_1)
+| | | | | pushValue (\u_0 -> \u_1 -> u_1)
 | | | | |   minReads=1
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -1713,7 +1677,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -1723,7 +1687,7 @@ let name
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -1749,9 +1713,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | |                                                                j_1
-| | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | |   minReads=1
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -1761,7 +1723,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | | <branch (\x_0 -> x_0)>
+| | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | readRegister reg
 | | | | | | |   minReads=1
 | | | | | | |   mayRaise=[ExceptionFailure]
@@ -1772,22 +1734,12 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=1
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-| | | | | | |   minReads=1
-| | | | | | |   mayRaise=[ExceptionFailure]
-| | | | | | |   alwaysRaise=[]
-| | | | | | |   freeRegs=[]
-| | | | | | | call name
-| | | | | | |   minReads=1
-| | | | | | |   mayRaise=[ExceptionFailure]
-| | | | | | |   alwaysRaise=[]
-| | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=1
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -1797,7 +1749,7 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=1
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -1807,7 +1759,7 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=0
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
@@ -1839,7 +1791,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> x_3)
+| pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> u_3)
 |   minReads=4
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1854,7 +1806,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=3
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1864,12 +1816,12 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| pushValue (\x_0 -> x_0)
+| pushValue (\u_0 -> u_0)
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -1885,7 +1837,7 @@ let name
 |   alwaysRaise=[]
 |   freeRegs=[reg]
 | | <ok>
-| | | pushValue (\x_0 -> \x_1 -> x_1)
+| | | pushValue (\u_0 -> \u_1 -> u_1)
 | | |   minReads=2
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -1895,7 +1847,7 @@ let name
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=0
 | | | |   mayRaise=[]
 | | | |   alwaysRaise=[]
@@ -1905,7 +1857,7 @@ let name
 | | | |   mayRaise=[]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=0
 | | | |   mayRaise=[]
 | | | |   alwaysRaise=[]
@@ -1926,7 +1878,7 @@ let name
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
 | | | | <catchScope>
-| | | | | pushValue (\x_0 -> \x_1 -> x_1)
+| | | | | pushValue (\u_0 -> GHC.Tuple.())
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -1937,7 +1889,7 @@ let name
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
 | | | | | | <catchScope>
-| | | | | | | pushValue (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
+| | | | | | | pushValue (\u_0 -> \u_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
 | | | | | | |   minReads=2
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -1952,7 +1904,7 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[reg]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=1
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
@@ -1967,7 +1919,7 @@ let name
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[reg]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=0
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
@@ -1977,17 +1929,7 @@ let name
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[reg]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-| | | | | | |   minReads=0
-| | | | | | |   mayRaise=[]
-| | | | | | |   alwaysRaise=[]
-| | | | | | |   freeRegs=[reg]
-| | | | | | | call name
-| | | | | | |   minReads=0
-| | | | | | |   mayRaise=[]
-| | | | | | |   alwaysRaise=[]
-| | | | | | |   freeRegs=[reg]
-| | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | |   minReads=0
 | | | | | | |   mayRaise=[]
 | | | | | | |   alwaysRaise=[]
@@ -2024,9 +1966,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | |                                                                j_1
-| | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | |   minReads=4
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -2036,14 +1976,14 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | | <branch (\x_0 -> x_0)>
+| | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | catch ExceptionFailure
 | | | | | | |   minReads=4
 | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | |   alwaysRaise=[]
 | | | | | | |   freeRegs=[reg]
 | | | | | | | | <catchScope>
-| | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
+| | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_2)
 | | | | | | | | |   minReads=7
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
@@ -2054,7 +1994,7 @@ let name
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[]
 | | | | | | | | | | <catchScope>
-| | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
+| | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
 | | | | | | | | | | |   minReads=7
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2069,7 +2009,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=6
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2084,7 +2024,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=5
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2099,7 +2039,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=4
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2114,7 +2054,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=3
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2129,7 +2069,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=2
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2139,7 +2079,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=2
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2149,17 +2089,7 @@ let name
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-| | | | | | | | | | |   minReads=2
-| | | | | | | | | | |   mayRaise=[ExceptionFailure]
-| | | | | | | | | | |   alwaysRaise=[]
-| | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | call name
-| | | | | | | | | | |   minReads=2
-| | | | | | | | | | |   mayRaise=[ExceptionFailure]
-| | | | | | | | | | |   alwaysRaise=[]
-| | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=0
 | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2169,7 +2099,7 @@ let name
 | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | |   freeRegs=[]
-| | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | |   minReads=0
 | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | |   alwaysRaise=[]
@@ -2206,9 +2136,7 @@ let name
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | |                                                                j_1
-| | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | |   minReads=4
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
@@ -2218,7 +2146,7 @@ let name
 | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | | | | catch ExceptionFailure
 | | | | | | | | | | |   minReads=4
 | | | | | | | | | | |   mayRaise=[ExceptionFailure]
@@ -2231,7 +2159,7 @@ let name
 | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | |   freeRegs=[reg]
 | | | | | | | | | | | | | | <catchScope>
-| | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8)
+| | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> \u_8 -> \u_9 -> u_8)
 | | | | | | | | | | | | | | |   minReads=8
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2241,7 +2169,7 @@ let name
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | |   minReads=8
 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2251,12 +2179,12 @@ let name
 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | |   minReads=6
 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | pushValue (\x_0 -> x_0)
+| | | | | | | | | | | | | | | | pushValue (\u_0 -> u_0)
 | | | | | | | | | | | | | | | |   minReads=6
 | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2272,7 +2200,7 @@ let name
 | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
 | | | | | | | | | | | | | | | | | <ok>
-| | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
+| | | | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
 | | | | | | | | | | | | | | | | | |   minReads=4
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2282,7 +2210,7 @@ let name
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | |   minReads=4
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2292,7 +2220,7 @@ let name
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2302,7 +2230,7 @@ let name
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2312,7 +2240,7 @@ let name
 | | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2338,9 +2266,7 @@ let name
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
-| | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | | | | | | | | | | |                                                                j_1
-| | | | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | | | | | | | | | | |   minReads=6
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2350,7 +2276,7 @@ let name
 | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
-| | | | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | | | | | | | | | | | | | readRegister reg
 | | | | | | | | | | | | | | | | | | | |   minReads=6
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
@@ -2361,12 +2287,12 @@ let name
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | |   minReads=6
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | |   minReads=6
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2376,7 +2302,7 @@ let name
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | |   minReads=6
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2391,7 +2317,7 @@ let name
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | |   minReads=5
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2401,7 +2327,7 @@ let name
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | |   minReads=4
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2411,12 +2337,12 @@ let name
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> x_0)
+| | | | | | | | | | | | | | | | | | | | pushValue (\u_0 -> u_0)
 | | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2432,7 +2358,7 @@ let name
 | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
 | | | | | | | | | | | | | | | | | | | | | <ok>
-| | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
+| | | | | | | | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_0 u_2)
 | | | | | | | | | | | | | | | | | | | | | |   minReads=4
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2442,7 +2368,7 @@ let name
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | | | |   minReads=4
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2452,7 +2378,7 @@ let name
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2462,7 +2388,7 @@ let name
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2472,7 +2398,7 @@ let name
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2498,9 +2424,7 @@ let name
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
-| | | | | | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | | | | | | | | | | | | | | |                                                                j_1
-| | | | | | | | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2510,7 +2434,7 @@ let name
 | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg,reg]
-| | | | | | | | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | | | | | | | | | | | | | | | | | readRegister reg
 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
@@ -2521,12 +2445,12 @@ let name
 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2536,7 +2460,7 @@ let name
 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2546,7 +2470,7 @@ let name
 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2584,7 +2508,7 @@ let name
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[reg]
 | | | | | | | | | | | | | | | | <catchScope>
-| | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> GHC.Tuple.())
+| | | | | | | | | | | | | | | | | pushValue (\u_0 -> GHC.Tuple.())
 | | | | | | | | | | | | | | | | |   minReads=11
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2595,7 +2519,7 @@ let name
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
 | | | | | | | | | | | | | | | | | | <catchScope>
-| | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
+| | | | | | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
 | | | | | | | | | | | | | | | | | | |   minReads=11
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2610,7 +2534,7 @@ let name
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | |   minReads=10
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2625,7 +2549,7 @@ let name
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | |   minReads=9
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2640,7 +2564,7 @@ let name
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | |   minReads=8
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2650,17 +2574,7 @@ let name
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-| | | | | | | | | | | | | | | | | | |   minReads=8
-| | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
-| | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
-| | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | call name
-| | | | | | | | | | | | | | | | | | |   minReads=8
-| | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
-| | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
-| | | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | | | | | |   minReads=8
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2697,9 +2611,7 @@ let name
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | | | | | | | | | |                                                                j_1
-| | | | | | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | | | | | | | | | |   minReads=8
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2709,7 +2621,7 @@ let name
 | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | | | | | | | | | | | | call name
 | | | | | | | | | | | | | | | | | | |   minReads=8
 | | | | | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
@@ -2748,9 +2660,7 @@ let name
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | | | | | | | | |                                                                j_1
-| | | | | | | | | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | | | | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | | | | | | | | |   minReads=4
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2760,8 +2670,8 @@ let name
 | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | <branch (\x_0 -> x_0)>
-| | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_0)
+| | | | | | | | | | | | | | <branch (\u_0 -> u_0)>
+| | | | | | | | | | | | | | | pushValue (\u_0 -> \u_1 -> u_0)
 | | | | | | | | | | | | | | |   minReads=4
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2771,7 +2681,7 @@ let name
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | |   minReads=2
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2781,7 +2691,7 @@ let name
 | | | | | | | | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
 | | | | | | | | | | | | | | |   freeRegs=[reg]
-| | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | | | | | | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | | | | | | | | | | |   minReads=0
 | | | | | | | | | | | | | | |   mayRaise=[]
 | | | | | | | | | | | | | | |   alwaysRaise=[]
@@ -2820,9 +2730,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | |                                                                j_1
-| | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | |   minReads=2
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -2832,7 +2740,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | | <branch (\x_0 -> x_0)>
+| | | | <branch (\u_0 -> u_0)>
 | | | | | readRegister reg
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
@@ -2843,12 +2751,12 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -2858,7 +2766,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -2873,7 +2781,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=1
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -2883,7 +2791,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -2904,7 +2812,7 @@ let name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-| pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
+| pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> GHC.Tuple.())
 |   minReads=5
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -2919,7 +2827,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=4
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -2929,7 +2837,7 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=3
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -2939,12 +2847,12 @@ let name
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
 |   freeRegs=[]
-| pushValue (\x_0 -> x_0)
+| pushValue (\u_0 -> u_0)
 |   minReads=2
 |   mayRaise=[ExceptionFailure]
 |   alwaysRaise=[]
@@ -2960,7 +2868,7 @@ let name
 |   alwaysRaise=[]
 |   freeRegs=[reg]
 | | <ok>
-| | | pushValue (\x_0 -> \x_1 -> x_1)
+| | | pushValue (\u_0 -> \u_1 -> u_1)
 | | |   minReads=1
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -2970,7 +2878,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=0
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
@@ -2980,7 +2888,7 @@ let name
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | |   minReads=0
 | | |   mayRaise=[]
 | | |   alwaysRaise=[]
@@ -3006,9 +2914,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | |                                                                j_1
-| | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | |   minReads=2
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
@@ -3018,7 +2924,7 @@ let name
 | | |   mayRaise=[ExceptionFailure]
 | | |   alwaysRaise=[]
 | | |   freeRegs=[reg]
-| | | | <branch (\x_0 -> x_0)>
+| | | | <branch (\u_0 -> u_0)>
 | | | | | readRegister reg
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
@@ -3029,12 +2935,12 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=2
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -3049,7 +2955,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=1
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -3059,7 +2965,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -3075,7 +2981,7 @@ let name
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[ExceptionFailure]
 | | | | |   freeRegs=[]
-pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Show.show x_2)
+pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Show.show GHC.Tuple.())
   minReads=1
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
@@ -3085,12 +2991,12 @@ call name
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+lift2Value (\u_0 -> \u_1 -> u_0 u_1)
   minReads=0
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
   freeRegs=[]
-pushValue (\x_0 -> x_0)
+pushValue (\u_0 -> u_0)
   minReads=0
   mayRaise=[ExceptionFailure]
   alwaysRaise=[]
@@ -3106,7 +3012,7 @@ iter loop
   alwaysRaise=[]
   freeRegs=[reg]
 | <ok>
-| | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> x_8)
+| | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> u_7)
 | |   minReads=18
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
@@ -3117,7 +3023,7 @@ iter loop
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
 | | | <catchScope>
-| | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
+| | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> \u_4 -> \u_5 -> \u_6 -> \u_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
 | | | |   minReads=18
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3132,7 +3038,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=17
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3147,7 +3053,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=16
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3162,7 +3068,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=15
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3177,7 +3083,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=14
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3192,7 +3098,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=13
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3207,7 +3113,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=12
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3222,7 +3128,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=11
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3237,7 +3143,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=10
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3247,7 +3153,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=10
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3257,17 +3163,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-| | | |   minReads=10
-| | | |   mayRaise=[ExceptionFailure]
-| | | |   alwaysRaise=[]
-| | | |   freeRegs=[reg]
-| | | | call name
-| | | |   minReads=10
-| | | |   mayRaise=[ExceptionFailure]
-| | | |   alwaysRaise=[]
-| | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=8
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3277,7 +3173,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=6
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3287,7 +3183,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=6
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3297,7 +3193,7 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=6
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -3307,7 +3203,7 @@ iter loop
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=4
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
@@ -3317,7 +3213,7 @@ iter loop
 | | | | |   mayRaise=[ExceptionFailure]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -3327,7 +3223,7 @@ iter loop
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
 | | | | |   freeRegs=[reg]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -3348,7 +3244,7 @@ iter loop
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[reg]
 | | | | | <catchScope>
-| | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
+| | | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> GHC.Tuple.())
 | | | | | |   minReads=8
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
@@ -3363,7 +3259,7 @@ iter loop
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
 | | | | | |   freeRegs=[reg]
-| | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | |   minReads=7
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
@@ -3373,7 +3269,7 @@ iter loop
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
 | | | | | |   freeRegs=[reg]
-| | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | |   minReads=6
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
@@ -3383,7 +3279,7 @@ iter loop
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
 | | | | | |   freeRegs=[reg]
-| | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | | |   minReads=6
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
@@ -3409,9 +3305,7 @@ iter loop
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
 | | | | | |   freeRegs=[reg]
-| | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | |                                                                j_1
-| | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | |   minReads=6
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
@@ -3421,7 +3315,7 @@ iter loop
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
 | | | | | |   freeRegs=[reg]
-| | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | call name
 | | | | | | | |   minReads=6
 | | | | | | | |   mayRaise=[ExceptionFailure]
@@ -3460,9 +3354,7 @@ iter loop
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
-| | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| |                                                                j_1
-| |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | |   minReads=0
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
@@ -3472,7 +3364,7 @@ iter loop
 | |   mayRaise=[ExceptionFailure]
 | |   alwaysRaise=[]
 | |   freeRegs=[reg]
-| | | <branch (\x_0 -> x_0)>
+| | | <branch (\u_0 -> u_0)>
 | | | | readRegister reg
 | | | |   minReads=0
 | | | |   mayRaise=[ExceptionFailure]
@@ -3483,22 +3375,12 @@ iter loop
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-| | | |   minReads=0
-| | | |   mayRaise=[ExceptionFailure]
-| | | |   alwaysRaise=[]
-| | | |   freeRegs=[]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
-| | | |   minReads=0
-| | | |   mayRaise=[ExceptionFailure]
-| | | |   alwaysRaise=[]
-| | | |   freeRegs=[]
-| | | | call name
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=0
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[]
-| | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | |   minReads=0
 | | | |   mayRaise=[ExceptionFailure]
 | | | |   alwaysRaise=[]
@@ -3508,7 +3390,7 @@ iter loop
 | | | |   mayRaise=[]
 | | | |   alwaysRaise=[]
 | | | |   freeRegs=[]
-| | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
+| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
 | | | | |   minReads=0
 | | | | |   mayRaise=[]
 | | | | |   alwaysRaise=[]
@@ -3545,12 +3427,12 @@ iter loop
 | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | |   alwaysRaise=[ExceptionFailure]
 | | | | | | | |   freeRegs=[]
-| | | | | | | | comment "satisfy ((\\x_0 -> \\x_1 -> x_0) GHC.Types.True)"
+| | | | | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
 | | | | | | | |   minReads=1
 | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | |   alwaysRaise=[ExceptionFailure]
 | | | | | | | |   freeRegs=[]
-| | | | | | | | read (\x_0 -> GHC.Types.True)
+| | | | | | | | read (\u_0 -> GHC.Types.True)
 | | | | | | | |   minReads=1
 | | | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | | | |   alwaysRaise=[ExceptionFailure]
@@ -3612,9 +3494,7 @@ iter loop
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
 | | | | | |   freeRegs=[]
-| | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _
-| | | | | |                                                                j_1
-| | | | | |                                                                _) -> i_0 GHC.Classes.== j_1)
+| | | | | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
 | | | | | |   minReads=0
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
@@ -3624,7 +3504,7 @@ iter loop
 | | | | | |   mayRaise=[ExceptionFailure]
 | | | | | |   alwaysRaise=[]
 | | | | | |   freeRegs=[]
-| | | | | | | <branch (\x_0 -> x_0)>
+| | | | | | | <branch (\u_0 -> u_0)>
 | | | | | | | | comment "eof.fail"
 | | | | | | | |   minReads=0
 | | | | | | | |   mayRaise=[ExceptionFailure]