9 | | | + pure (GHC.Types.:)
12 | | | | + pure (\u_0 -> \u_1 -> u_0)
14 | | | ` satisfy ((GHC.Classes.==) 'a')
17 | | | + pure (GHC.Types.:)
20 | | | | + pure (\u_0 -> \u_1 -> u_0)
22 | | | ` satisfy ((GHC.Classes.==) 'b')
25 | | | + pure (GHC.Types.:)
28 | | | | + pure (\u_0 -> \u_1 -> u_0)
30 | | | ` satisfy ((GHC.Classes.==) 'c')
31 | | ` pure GHC.Types.[]
35 | | + pure (GHC.Types.:)
38 | | | + pure (\u_0 -> \u_1 -> u_0)
40 | | ` satisfy ((GHC.Classes.==) 'd')
43 | | + pure (GHC.Types.:)
46 | | | + pure (\u_0 -> \u_1 -> u_0)
48 | | ` satisfy ((GHC.Classes.==) 'e')
53 | + pure (GHC.Types.:)
56 | | + pure (\u_0 -> \u_1 -> u_0)
58 | ` satisfy ((GHC.Classes.==) 'f')
61 | + pure (GHC.Types.:)
64 | | + pure (\u_0 -> \u_1 -> u_0)
66 | ` satisfy ((GHC.Classes.==) 'g')
69 | + pure (GHC.Types.:)
72 | | + pure (\u_0 -> \u_1 -> u_0)
74 | ` satisfy ((GHC.Classes.==) 'h')
77 | + pure (GHC.Types.:)
80 | | + pure (\u_0 -> \u_1 -> u_0)
82 | ` satisfy ((GHC.Classes.==) 'i')