-<*>
-+ pure (\u1 -> u1 Term)
-` def name_401
- ` <|>
- + <*>
- | + <*>
- | | + pure (\u1 -> (\u2 -> (\u3 -> 'a' : u2 u3)))
- | | ` satisfy
- | ` rec name_401
- ` pure (\u1 -> u1)
+lets
+` <*>
+ + <*>
+ | + pure (\x_0 -> \x_1 -> GHC.Show.show x_0)
+ | ` <|>
+ | + <*>
+ | | + pure (\x_0 -> 'a')
+ | | ` satisfy ((GHC.Classes.==) 'a')
+ | ` <*>
+ | + pure (\x_0 -> 'b')
+ | ` satisfy ((GHC.Classes.==) 'b')
+ ` satisfy ((GHC.Classes.==) 'c')