6 | | + pure (GHC.Types.:)
9 | | | + pure (\x_0 -> \x_1 -> x_0)
11 | | ` satisfy ((GHC.Classes.==) 'a')
14 | | + pure (GHC.Types.:)
17 | | | + pure (\x_0 -> \x_1 -> x_0)
19 | | ` satisfy ((GHC.Classes.==) 'b')
22 | | + pure (GHC.Types.:)
25 | | | + pure (\x_0 -> \x_1 -> x_0)
27 | | ` satisfy ((GHC.Classes.==) 'c')
30 | | + pure (GHC.Types.:)
33 | | | + pure (\x_0 -> \x_1 -> x_0)
35 | | ` satisfy ((GHC.Classes.==) 'd')
41 | + pure (\x_0 -> \x_1 -> x_0)
44 | | + pure (GHC.Types.:)
48 | | + pure (GHC.Types.:)