8 | | + pure (GHC.Types.:)
11 | | | + pure (\x_0 -> \x_1 -> x_0)
13 | | ` satisfy ((GHC.Classes.==) 'a')
16 | | + pure (GHC.Types.:)
19 | | | + pure (\x_0 -> \x_1 -> x_0)
21 | | ` satisfy ((GHC.Classes.==) 'b')
24 | | + pure (GHC.Types.:)
27 | | | + pure (\x_0 -> \x_1 -> x_0)
29 | | ` satisfy ((GHC.Classes.==) 'c')
34 | + pure (GHC.Types.:)
37 | | + pure (\x_0 -> \x_1 -> x_0)
39 | ` satisfy ((GHC.Classes.==) 'd')
42 | + pure (GHC.Types.:)
45 | | + pure (\x_0 -> \x_1 -> x_0)
47 | ` satisfy ((GHC.Classes.==) 'e')