let's declare left-hand-side of these as `Map`