Only update nonfull maps
-rw-r--r-- 1643 CrowdSurfer.hs
-rw-r--r-- 827 DeafAndSilent.hs
-rw-r--r-- 353 Dummy.hs
-rw-r--r-- 11224 Partty.hs