Add some experimental code on composition of Applicatives