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