8 | | + pure ((GHC.Types.:))
11 | | | + pure (\x_0 -> \x_1 -> x_0)
16 | | + pure ((GHC.Types.:))
19 | | | + pure (\x_0 -> \x_1 -> x_0)
22 | ` pure (GHC.Types.[])
26 | + pure ((GHC.Types.:))
29 | | + pure (\x_0 -> \x_1 -> x_0)
34 | + pure ((GHC.Types.:))
37 | | + pure (\x_0 -> \x_1 -> x_0)