Adds two mapped types