即使有类型约束也无法匹配类型错误

Question

为什么会出现以下情况

foo :: MonadIO m => m ()
foo = print "hi"

导致以下错误

无法将类型“m”与“IO”匹配。“m”是一个刚性类型变量，由类型签名绑定：foo:：forall（m:：*-

据我所知，既然IO（）应该等于MonadIO，MonadIO约束不应该允许这样做吗？

Answer 1

IO不等于MonadIO。

MonadIO是一个类型类，简单地说，它意味着所讨论的monad可以执行IO操作。实际上，由于IOmonad是“魔法”，这只能意味着两件事中的一件：所讨论的monad是IO本身，或者所讨论的monad以某种方式包装IO。

为了表达这种包装思想，MonadIOtype类有一个方法liftIO:：IO a-

所以，要修复代码，只需liftIO：

foo :: MonadIO m => m ()
foo = liftIO $ print "hi"