13 Jan
2010
13 Jan
'10
10:54 a.m.
On Wed, Jan 13, 2010 at 12:29 AM, Evan Laforge <qdunkan@gmail.com> 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