On Wed, Jan 13, 2010 at 12:29 AM, Evan Laforge wrote:
Occasionally I have a function with an unused argument, whose type I
don't want to restrict. Thus:
f :: _unused -> A -> B
f _ a = b
I probably misunderstood the problem, why not f:: a -> A -> B
David
