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