相关疑难解决方法(0)

我不明白为什么我不能分解(让我们说IO)monad.喜欢IO a -> a？

我的问题使用happstack和想要得到的时候起源Text的出ServerPart (Maybe Text)这是由返回(optional $ lookText "domain").然后我记得读到IOmonad无法逃脱.

我已经读过unsafePerformIO它以及它为什么不好的原因,但这些原因似乎都没有回答我的问题.