remove use of DataKinds from Tuple and fix kind error
ReifiedGetter is a Strong/Choice Profunctor
arrow instances for ReifiedGetter
ReifiedIndexedFold is a Profunctor
Arrow/Profunctor ReifiedFold
ArrowApply ReifiedFold
ArrowChoice ReifiedFold
shuffled the category instance around
Strong (ReifiedIndexedGetter i)
Added ito
Added section headers
Strong (ReifiedIndexedFold i) -- and a bunch of style changes
lmap and rmap for ReifiedIndexFold i
Started some haddocks for the new ReifiedFold and ReifiedGetter usecases
Added Comonad (ReifiedGetter s) and shuffled instances
INLINE all the things
Distributive ReifiedGetter
Better Strong ReifiedFold instance
nicer first' and second'
Extend (ReifiedGetter s)