Ensure HashMap is invariant with respect to K and V

Ensure HashMap is invariant with respect to K and V #172