ApplicativeDo не работает с секвенирование

Question

У меня есть этот типа, в основном Клейл стрелок:

{-# 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 и попытаться построить значение, используя делать-обозначения:

{-# language ApplicativeDo #-} 

myplan :: Plan IO()() 
myplan = do 
    pure() 
    pure() 

это не работает:

No instance for (Monad (Plan IO())) arising from a do statement 

есть ли способ сделать это им гк? Я использую GHC 8.0.1.

Answer 1

После поиска ApplicativeDo билетов в о связанных с GHC Trac, оказывается, что это известная проблема:

• https://ghc.haskell.org/trac/ghc/ticket/10892

• https://ghc.haskell.org/trac/ghc/ticket/12666

---

Явное отбрасывания там sult является обходным:

do 
    _ <- pure() 
    pure() 

Answer 2

ApplicativeDo не означает, что do выражений будут всегда быть обессахаренными в терминах аппликативного функтора, но только если это имеет смысл делать это. Здесь нет. Если у вас есть do выражение как

do 
    x <- someAction 
    y <- someAction 
    return (x + y) 

отметить, что порядок на самом деле не имеет значения, так что вы могли бы desugar это

pure (+) <*> someAction <*> someAction 

вместо

someAction >>= (\x -> someAction >>= (\y -> return (x + y)) 

Однако выражение

do 
    pure() 
    pure() 

не имеет никакого выражения, используя только pure и <*>. Это не эквивалентно pure() <*> pure(), потому что первое значение обертывает (), а не функцию. Поскольку нет допустимого способа desugar, используя только экземпляр Applicative, компилятор ищет и не находит экземпляр Monad, чтобы разрешить pure() >> pure().