Either X (Either Y (Either Z ())) -> Either X (Either Y Z)