iterableSubtypeTraverse is actually only Foldable
tuned