--infix n \/ /\

fromList' :: (Ord k) => [(k,v)] -> Map k v
fromList' = foldl' intro empty
  where intro m (k,v) = introduce k v m
fromList' :: (Ord k) => [(k,v)] -> Map k v
fromList' = foldl' intro empty
  where intro m (k,v) = introduce k v m
fromList' = foldl' intro empty
  where intro m (k,v) = introduce k v m