No need for requiring map-invert