getPropNames :: (a -> [b]) -> MapSet.MapSet Id a -> Set.Set QName
getPropNames f = Map.foldWithKey (\ i s l ->
    case Set.toList s of
      [] -> l
      h : _ -> Set.union l $ Set.fromList
        $ map (idToNumberedIRI i . snd) $ number $ f h)
    Set.empty . MapSet.toMap
getPropNames :: (a -> [b]) -> MapSet.MapSet Id a -> Set.Set QName
getPropNames f = Map.foldWithKey (\ i s l ->
    case Set.toList s of
      [] -> l
      h : _ -> Set.union l $ Set.fromList
        $ map (idToNumberedIRI i . snd) $ number $ f h)
    Set.empty . MapSet.toMap
getPropNames f = Map.foldWithKey (\ i s l ->
    case Set.toList s of
      [] -> l
      h : _ -> Set.union l $ Set.fromList
        $ map (idToNumberedIRI i . snd) $ number $ f h)
    Set.empty . MapSet.toMap