map package:these

mapHere = over here
mapThere = over there
Bifunctor bimap.