18 Jan
2018
18 Jan
'18
6:32 p.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
Identity#
-- -Andrew Thaddeus Martin