Foldable and Traversable instances for At.