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