Haskell 类型签名缺少附带的绑定？

首先，我意识到这里已经提出和回答了另外两个类似的问题。我看着他们，什么也没得到，所以我又问了一遍

这是我的代码的相关部分：

titlesOfMoviesSatisfying :: (Movie -> Bool) -> [Movie] -> [Title]
titlesOfSatisying f movieDB = map check (zip movieDB (map f movieDB))

电影和标题都是我刚才在代码中定义的数据类型。当我刚刚执行>>let b=map check（zip movieDB（map f movieDB）），我得到：type b as[Title]，这正是我想要的。我有：输入movieDB作为[Movie]和：输入f作为Movie->Bool。因此，一切似乎都是应该的。但是当我尝试编译上面的代码时，我得到了以下结果：

例7.hs:65:1： “TitleSofMoveMessageing”的类型签名 缺少附带的装订 失败，已加载模块：无

---

这是为什么？我如何修复它？

您的函数名称拼写错误：

titlesOfMoviesSatisfying :: (Movie -> Bool) -> [Movie] -> [Title] 
titlesOfMoviesSatisfying f movieDB = map check (zip movieDB (map f movieDB))

---

抱歉，这是一个输入错误，但代码输入正确。@Alex:这就是导致错误的原因，所以代码中一定也有输入错误。