我有这种类型，基本上是克莱斯利箭头：
{-# language DeriveFunctor #-}
data Plan m i o = Plan (i -> m o) deriving Functor
instance (Monad m) => Applicative (Plan m i) where
pure x = Plan (\_ -> pure x)
Plan f <*> Plan x = Plan (\i -> f i <*> x i)
由于它有一个Applicative例如，我打开ApplicativeDo并尝试使用 do 表示法构建一个值：
{-# language ApplicativeDo #-}
myplan :: Plan IO () ()
myplan = do
pure ()
pure ()
它不起作用：
No instance for (Monad (Plan IO ())) arising from a do statement
有办法让它发挥作用吗？我正在使用 GHC 8.0.1。
搜索后ApplicativeDo相关门票GHC Trac https://ghc.haskell.org/trac/ghc，看来这是一个已知问题：
显式丢弃结果是一种解决方法：
do
_ <- pure ()
pure ()
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
