8 | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types.[]))))
9 | | | | ` satisfy ((GHC.Classes.==) 'a')
10 | | | ` satisfy ((GHC.Classes.==) 'b')
11 | | ` satisfy ((GHC.Classes.==) 'c')
12 | ` satisfy ((GHC.Classes.==) 'd')
16 | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Show.show ((GHC.Types.:) x_0 x_1))
20 | | + pure (GHC.Types.:)