No need to import `Map` and `HashMap` here