8 | | + pure (\u_0 -> \u_1 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'a' GHC.Types.[]))
9 | | ` satisfy ((GHC.Classes.==) 'a')
10 | ` satisfy ((GHC.Classes.==) 'a')
14 | + pure (\u_0 -> \u_1 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' GHC.Types.[]))
15 | ` satisfy ((GHC.Classes.==) 'a')
16 ` satisfy ((GHC.Classes.==) 'b')