6 | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
8 | | | + pure ((GHC.Types.:))
11 | | | | + pure (\x_0 -> \x_1 -> x_0)
15 | ` pure (\x_0 -> x_0)
17 + pure (GHC.Show.show)
20 | + pure (\x_0 -> \x_1 -> x_0)
23 | ` pure (GHC.Types.[])
26 | + pure (\x_0 -> \x_1 -> x_0)