Writing typed maps