iterable

Two-argument typeclass that generalizes Foldable, Functor, and Traversable for monomorphic multi-level collections. Transitive instances allow for folding and mapping over any subordinate level of the hierarchy. Main interface for hPDB library. Contains convenience TemplateHaskell methods for generating Iterable instances that have Vector containers.