úÎ b      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  RWe extend lens across a representable functor, due to the preservation of limits.       experimentalekmett@gmail.com  experimentalekmett@gmail.com A  f is  if  and  witness an isomorphism to (_ -> Value f).  tabulate . index = id  index . tabulate = id  tabulate . return f = return f  ' contramap f (corep g) = corep (g . f) Dual to Indexed. Dual to Keyed.           !"#$%&'representable-functors-0.4.2Data.Functor.RepresentableControl.Monad.RepresentableData.Functor.Corepresentable RepresentabletabulatefmapRep mapWithKeyReppureRepbindRepbindWithKeyRepaskReplocalRepapRep distributeRep duplicateRep extendRep extractReprepLensRepTrunRepTRepreprunRepCorepresentablecorep CoindexedcoindexValuedcontramapWithValueValuecontramapDefaultcontramapWithValueDefaultbaseGHC.BaseFunctor keys-0.2.5Data.Keyindex