List { mapKey : < A | B >, mapValue : Natural }