Hi,<br>This isn&#39;t about Haskell per se, but I was reading the old Meijer et al. paper&nbsp; &quot;Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire&quot; &amp; I think there&#39;s a notational pun that&#39;s really confusing me.<br>
On page 12 we have the CataEval equation <br>(|phi|) . in = phi . (|phi|)_L<br>Now, the subscript L &amp; the following example of cons lists implies that L is a functor in this equation, yet the line immediately after this equation says that &quot;(CataEval) states how to evaluate an application of (|phi|) to an arbitrary element of L....&quot; so then that makes it sound like the L here is the fixed point of some functor F, not the functor itself.<br>
<br>I&#39;m sure I&#39;m just being dumb, but this is really bugging me.<br><br>Thanks,<br>Creighton Hogg<br>