qualify the foldable instance