<div dir="ltr"><div>I&#39;ve been looking through Edward Kmett&#39;s lens library, and I&#39;m a bit befuddled about Getters. In my own code, why would I want to have something be a Getter instead of a plain function? As far as I can see, a plain function is simpler to use, and can be converted to a Getter with &quot;to&quot; if we want to use it as a Fold. Is there a situation where writing a Getter is superior than writing a function, then lifting it as needed?<br>
<br></div>Thank you,<br><br>Charles Paul<br></div>