bifunctorial map in either
maybe