6 | + pure (\x_0 -> \x_1 -> x_0)
10 | | | + pure (\x_0 -> \x_1 -> x_0)
12 | | ` satisfy ((GHC.Classes.==) 'a')
15 | | + pure (\x_0 -> \x_1 -> x_0)
17 | ` satisfy ((GHC.Classes.==) 'b')
20 | + pure (\x_0 -> \x_1 -> x_0)
22 ` satisfy ((GHC.Classes.==) 'c')