barbies-2.1.1.0: Classes for working with types that can change clothes.

Types that are parametric on a functor are like Barbies that have an outfit for each role. This package provides the basic abstractions to work with them comfortably.