`Applicative`'s `<|>` should be `Alternative`'s `<|>`. Alternative is to Applicative what MonadPlus is to Monad. Actually MonadPlus can be defined with just App

`Applicative`'s `<|>` should be `Alternative`'s `<|>`. Alternative is to Applicative what MonadPlus is to Monad. Actually MonadPlus can be defined with just Applicative laws and no Monad laws, that's why MonadPlus will be replaced by Alternative in GHC 7.8.