<div dir="ltr">The problem with using Identity and Identity# is that there's already something in base named Identity, and since it's a newtype (not a data type), it has the wrong semantics concerning laziness for this kind of thing.</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 17, 2018 at 7:27 PM, M Farkas-Dyck <span dir="ltr"><<a href="mailto:m.farkasdyck@gmail.com" target="_blank">m.farkasdyck@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Identity#<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">-Andrew Thaddeus Martin</div>
</div>