Skip to content
  • Austin Seipp's avatar
    Make Applicative a superclass of Monad · d94de872
    Austin Seipp authored
    
    
    Summary:
    This includes pretty much all the changes needed to make `Applicative`
    a superclass of `Monad` finally. There's mostly reshuffling in the
    interests of avoid orphans and boot files, but luckily we can resolve
    all of them, pretty much. The only catch was that
    Alternative/MonadPlus also had to go into Prelude to avoid this.
    
    As a result, we must update the hsc2hs and haddock submodules.
    
    Signed-off-by: default avatarAustin Seipp <austin@well-typed.com>
    
    Test Plan: Build things, they might not explode horribly.
    
    Reviewers: hvr, simonmar
    
    Subscribers: simonmar
    
    Differential Revision: https://phabricator.haskell.org/D13
    d94de872