haskell - return ステートメントは、関数の定義の型とはどのように異なるのですか?

Question

ループ内で、整数がリスト内に収集され、これらの整数のタプルがreturned になります。これはどのようにタプルのリストに変わりますか?

input :: IO [(Int,Int)]
input = do
  n <- readLn :: IO Int
  forM [1..n] $ \_ -> do
    [x,y] <- map read . words <$> getLine
    return (x,y)

値のタイプは であると予想していまし(Int,Int)たが、そうです[(Int,Int)]。なんで？