add Applicative instance for Either (proposal #4095)