Scalaz中Task和IO之间有什么区别？

Question

这两种Scalaz类型

• scalaz.concurrent.Task[+A]
• scalaz.effect.IO[A]

似乎在概念上非常相似。他们俩都：

• 表示潜在的副作用计算
• 产生成功（A）或失败（Exception）结果
• 拥有Monad个实例
• 可以使用run或unsafePerformIO
进行不安全的解包

他们有什么不同？为什么它们都存在？