map is now a type