Свершилось!

[deni_ok]

GHC 7.10.1 :

class Applicative m => Monad m where
...
return :: a -> m a
return = pure
...
-- оставили как было (по социальным причинам :)
-- (>>) :: forall a b. m a -> m b -> m b
-- (>>) = (*>)
...
https://hackage

Comments

[sassa_nf]

"-- оставили как было (по социальным причинам :)
-- (>>) :: forall a b. m a -> m b -> m b
-- (>>) = (*>)"

а здесь нужно было что-то исправить?

[voidex]

Там ж на деле m >> k = m >>= \_ -> k

[sassa_nf]

(*>) и (>>) равны, вообще-то. Но deni_ok объяснил. Минимальное объявление монады - return и (>>=), а апликатива - pure и (<*>). Тогда поскольку народ не определяет (>>) для монад и исторически определяют (*>) для монад как (>>), получится бесконечная рекурсия.

[voidex]

Так а мой комментарий не о том, что не равны, а о том, что в посте - одно, а в base - другое.

[nivanych]

Давно такого не было, чтоб после .1-версии оставалось всего 10 багов.
https://ghc.haskell.org/trac/ghc/milestone/7.10.2?by=type
Постарались, молодцы!
Это вовсе не плохо, что затянули релиз.

[jakobz]

А в do-нотацию добавили разворачивание в Applicative?