4 | + pure (\x_0 -> \x_1 -> GHC.Show.show x_0)
7 | | + pure (\x_0 -> 'a')
8 | | ` satisfy ((GHC.Classes.==) 'a')
11 | | + pure (\x_0 -> 'b')
12 | | ` satisfy ((GHC.Classes.==) 'b')
14 | + pure (\x_0 -> 'c')
15 | ` satisfy ((GHC.Classes.==) 'c')
16 ` satisfy ((GHC.Classes.==) 'd')