Question How will this execute?

pairs getLine getLine

Hint: The general type signature of pairs is

pairs :: 
   Monad m => 
      m a -> m b -> m (a,b)

It just happens that in the way you saw it, pairs was instantiated to the list monad.