Proposal #2316: Add Applicative instances for all MTL Monads