10 | | + pure (\x_0 -> \x_1 -> x_0)
12 | ` satisfy ((GHC.Classes.==) 'a')
15 | + pure (GHC.Types.:)
18 | | + pure (\x_0 -> \x_1 -> x_0)
20 | ` satisfy ((GHC.Classes.==) 'b')
23 | + pure (GHC.Types.:)
26 | | + pure (\x_0 -> \x_1 -> x_0)
28 | ` satisfy ((GHC.Classes.==) 'c')