[ci-skip] use Data.Map.Strict rather than lazy one