7 | | + pure (GHC.Types.:)
10 | | | + pure (\x_0 -> \x_1 -> x_0)
15 | | + pure (GHC.Types.:)
18 | | | + 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)