问为什么Haskell假定返回的monad类型与作为参数传递的类型相同？

EN

为什么要编译这段代码？

--sequence_mine :: Monad m => [m a] -> m [a]
sequence_mine [] = return []
sequence_mine (elt:l) = do
  e <- elt
  sl <- sequence l
  return (e:sl)

注意:我有意注释掉了这里的类型声明。但是，即使没有类型声明，代码仍然可以编译，并且看起来像预期的那样工作--这让我感到惊讶。

据我所知，这一行应该出现歧义：

return (e:sl)

原因是Haskell不应该知道我们返回的是哪种类型的monad。为什么它必须是我们正在接受的同一类型？

来澄清更多。据我所知，如果我不明确地将类型声明类似于我注释掉的类型声明，Haskell应该推断该函数具有如下类型：

sequence_mine :: (Monad m1, Monad m2) => [m1 a] -> m2 [a]

除非我明确地将m1和m2统一起来，将它们都称为m，否则Haskell没有理由相信它们指的是同一类型！我想是的。

然而，事实并非如此。这里我漏掉了什么？