This proposal is very straightforward: add Applicative instances for all the Monads in the MTL. Deadline for discussion is two weeks from today, June 12 2008. Cheers, Spencer Janssen