NestedFunctor

Nested composition of functors with a type index tracking nesting.

This package implements something akin to Data.Compose, but with a type index that tracks the order in which things are nested. This makes it possible to write code using polymorphic recursion over the levels of the structure contained in a Nested value.