lllower: solidify the type reasoning required for map