Get ready for AMP

Added missing instances, so the code should not break with GHC 7.10 due to Applicative-Monad Proposal.