<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>>And sometimes I want to update a single one of those "still
other things".</p>
<p>>Lenses seem like a good solution</p>
<p>Lenses are the best solution currently available. If you're
worried about this being inefficient due to immutability... don't
be. Due to laziness (and more general compiler optimizations), GHC
can do this efficiently.<br>
</p>
<br>
<div class="moz-cite-prefix">On 05/15/2018 04:00 PM, Dennis Raddle
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAKxLvopsfjnzm+c3yaChPrzMZydwBvdZDcyv_u+YjDHLEn0Qsg@mail.gmail.com">And
sometimes I want to update a single one of those "still other
things".</blockquote>
<div class="moz-signature"><strong
style="color:#000;font-family:Helvetica,Arial;font-size:116%;"></strong><br>
</div>
</body>
</html>