-- Item has a foo field of type Foo
-- Foo has bar and bazzes fields of types Bar and [Baz]

func :: Item -> Map Bar [Baz]
func i = case foo i of
  Nothing -> mempty
  Just fu -> Map.fromListWith (++) tups
    where tups = map (\x -> (bar x, bazzes x)) fu