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.==) 'a')
26 | + pure (GHC.Types.:)
29 | | + pure (\x_0 -> \x_1 -> x_0)
31 | ` satisfy ((GHC.Classes.==) 'a')
34 | + pure (GHC.Types.:)
37 | | + pure (\x_0 -> \x_1 -> x_0)
39 | ` satisfy ((GHC.Classes.==) 'b')