Does not build on GHC-7.10 due to AMP

[mantkiew]

The Applicative-Monad Proposal (AMP) requires every monad to have an instance of Applicative as well. There's a section about Future Proofing Current Code, which describes the minimal changes that need to be done.