19 Jan
2018
19 Jan
'18
2:32 a.m.
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. On Wed, Jan 17, 2018 at 7:27 PM, M Farkas-Dyck <m.farkasdyck@gmail.com> wrote:
Identity#
-- -Andrew Thaddeus Martin