silence warnings for now
more foldable/traversable