Added monad transformer tests for applicatives