<div dir="ltr"><div>I've been looking through Edward Kmett's lens library, and I'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 "to" 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>