this typechecks map items