(^.) is a really simple function actually, I'd argue it's even simpler than fmap. If we look at `lens-family-core` all the machinery to derive everything you ne

(^.) is a really simple function actually, I'd argue it's even simpler than fmap. If we look at `lens-family-core` all the machinery to derive everything you need to make lenses is very concise and would fit on a index card. http://hackage.haskell.org/package/lens-family-core-1.0.0/docs/src/Lens-Family.html#line-263 http://hackage.haskell.org/package/lens-family-core-1.0.0/do...