• Herbert Valerio Riedel's avatar
    Canonicalise `MonadPlus` instances · dafeb51f
    Herbert Valerio Riedel authored
    This refactoring exploits the fact that since AMP, in most cases,
    `instance MonadPlus` can be automatically derived from the respective
    `Alternative` instance.  This is because `MonadPlus`'s default method
    implementations are fully defined in terms of `Alternative(empty, (<>))`.
    dafeb51f
Sync.hs 31.9 KB