Fix AMP warnings

The Applicative-Monad warning will be part of GHC 7.8. This patch from @quchen fills in the missing `Alternative` warnings (which I'd like in `Cabal-1.18.0.1`.)