title: How is anamorphism related to lens?
body: <p>How is the Lens, the record accessor, e.g.</p>
  
  <p><a href="http://hackage.haskell.org/packages/archive/lens/3.9.0.2/doc/html/Control-Lens-Type.html#t:Lens" rel="noreferrer">http://hackage.haskell.org/packages/archive/lens/3.9.0.2/doc/html/Control-Lens-Type.html#t:Lens</a></p>
  
  <p>related to anamorphism? e.g.</p>
  
  <p><a href="http://hackage.haskell.org/packages/archive/recursion-schemes/3.0.0.2/doc/html/Data-Functor-Foldable.html#v:ana" rel="noreferrer">http://hackage.haskell.org/packages/archive/recursion-schemes/3.0.0.2/doc/html/Data-Functor-Foldable.html#v:ana</a></p>
  
  <p>Can you make the former an instance of the latter?</p>
  
  <p>I've recently been using lenses a lot. Lenses are in many ways crucial in Haskell programming; they are tools for record access, stateful programs... In hope of better understanding the lenses, I started reading "Bananas, Lenses, Envelopes and Barbed Wire" paper. With help of an "INSIDE 206-105", I slowly re-implemented the -morphisms in Haskell.
  Then the above question occured to me.</p>