[refactor] Adds A Map based on the NonEmpty datatype.

18 jobs for strengthen-types in 25 minutes and 19 seconds (queued for 2 seconds)