interface Map exposes [ isEmpty ] imports [] isEmpty = 0