Data.Map.Map is no longer a member of Contains