6 | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
8 | | | + pure ((GHC.Types.:))
11 | ` pure (\x_0 -> x_0)
16 | | + pure ((GHC.Types.:))
19 | | | + pure (\x_0 -> \x_1 -> x_0)
24 | | + pure ((GHC.Types.:))
27 | | | + pure (\x_0 -> \x_1 -> x_0)
32 | | + pure ((GHC.Types.:))
35 | | | + pure (\x_0 -> \x_1 -> x_0)
40 | | + pure ((GHC.Types.:))
43 | | | + pure (\x_0 -> \x_1 -> x_0)
46 | ` pure (GHC.Types.[])
48 + pure (GHC.Show.show)
51 | + pure ((GHC.Types.:))