experimentalekmett@gmail.comA  f is  if  and  witness an isomorphism to (->) x.  tabulate . index = id  index . tabulate = id  tabulate . return f = return f  ' fmap f . tabulate = tabulate . fmap f        experimentalekmett@gmail.com  experimentalekmett@gmail.com Dual to Keyed. Dual to Indexed.  ' contramap f (corep g) = corep (g . f) A  f is  if  and  witness an isomorphism to (_ -> Value f).  tabulate . index = id  index . tabulate = id  tabulate . return f = return f          !"#$%&representable-functors-0.3.0.1Data.Functor.RepresentableControl.Monad.RepresentableData.Functor.Corepresentable RepresentabletabulatefmapRep mapWithKeyReppureRepbindRepbindWithKeyRepaskReplocalRepapRep distributeRep duplicateRep extendRep extractRepReprunRepTRepTreprunRepValuecontramapWithValueValuedcoindex CoindexedcorepCorepresentablecontramapDefaultcontramapWithValueDefaultbaseGHC.BaseFunctor keys-0.2.2Data.Keyindex