More crazy stuff on Applicatives