6 | + pure (\x_0 -> \x_1 -> x_0)
11 | | | | + pure (\x_0 -> \x_1 -> x_0)
13 | | | ` satisfy ((GHC.Classes.==) 'a')
16 | | | + pure (\x_0 -> \x_1 -> x_0)
18 | | ` satisfy ((GHC.Classes.==) 'b')
21 | | + pure (\x_0 -> \x_1 -> x_0)
23 | ` satisfy ((GHC.Classes.==) 'c')
26 | + pure (\x_0 -> \x_1 -> x_0)
28 ` satisfy ((GHC.Classes.==) 'd')