小编Don*_*tro的帖子

所以我把这句话放在我的ghci上

jkl x f y = f (map (+y) x)

我把它拿出去了.

jkl :: Num b => [b] -> ([b] -> t) -> b -> t

但是当我读到它时我很困惑.根据我的理解,jkl是带有[b],[b]和t以及b的类型num.最后它将输出t.是正确的阅读方式吗？