6 | + pure (\u_0 -> \u_1 -> u_0)
10 | | | + pure (\u_0 -> \u_1 -> u_0)
12 | | ` satisfy ((GHC.Classes.==) 'a')
15 | | + pure (\u_0 -> \u_1 -> u_0)
17 | ` satisfy ((GHC.Classes.==) 'b')
20 | + pure (\u_0 -> \u_1 -> u_0)
22 ` satisfy ((GHC.Classes.==) 'c')