Effective Haskell: Left and Right on page 321

I mean, I can see in your example that Left is used to select the first type application, and Right the second one, (I THINK), but I am still unsure.