7 | | + pure ((GHC.Types.:))
10 | | | + pure (\x_0 -> \x_1 -> x_0)
15 | | + pure ((GHC.Types.:))
18 | | | + pure (\x_0 -> \x_1 -> x_0)
21 | ` pure (GHC.Types.[])
24 | + pure ((GHC.Types.:))
27 | | + pure (\x_0 -> \x_1 -> x_0)
32 | + pure ((GHC.Types.:))
35 | | + pure (\x_0 -> \x_1 -> x_0)