6 | | + pure (GHC.Types.:)
9 | | | + pure (\x_0 -> \x_1 -> x_0)
14 | | + pure (GHC.Types.:)
17 | | | + pure (\x_0 -> \x_1 -> x_0)
22 | | + pure (GHC.Types.:)
25 | | | + pure (\x_0 -> \x_1 -> x_0)
30 | | + pure (GHC.Types.:)
33 | | | + pure (\x_0 -> \x_1 -> x_0)
41 | + pure (GHC.Types.:)
45 | + pure (GHC.Types.:)