7 | | + pure (GHC.Types.:)
10 | | | + pure (\u_0 -> \u_1 -> u_0)
12 | | ` satisfy ((GHC.Classes.==) 'a')
15 | | + pure (GHC.Types.:)
18 | | | + pure (\u_0 -> \u_1 -> u_0)
20 | | ` satisfy ((GHC.Classes.==) 'a')
24 | + pure (GHC.Types.:)
27 | | + pure (\u_0 -> \u_1 -> u_0)
29 | ` satisfy ((GHC.Classes.==) 'a')
32 | + pure (GHC.Types.:)
35 | | + pure (\u_0 -> \u_1 -> u_0)
37 | ` satisfy ((GHC.Classes.==) 'b')