functor-products

Generalizes the Rec type in vinyl to work over various different Foldable instances, instead of just lists. Provides a unifying abstraction for all of them, as well as data types to index into them.