22 Jan
2002
22 Jan
'02
2:52 p.m.
Why is pattern matching on newtypes lazy? Does this add to efficiency somehow? If not, it seems to be just another rule to keep straight.