minor change to mapEitherWithKey, replacing explicit \ with (***)