Data.Map和Data.IntMap中的查找函数当前返回包含在带有类型签名的Maybe中的值
lookup :: Ord k => k -> Map k a -> Maybe a
它曾经有更普遍的类型
lookup :: (Monad m, Ord k) => k -> Map k a -> m a
我意识到前者可能会减少额外类型规范的需要,但后者会使它更加通用,并允许在列表推导中使用查找.有没有办法模仿新版本的这种行为,还是我必须使用旧版本的库？