Const now has Foldable and Traversable in Base 4.7