Data.HashMap: Strict or lazy by default?