On Wed, Jan 13, 2010 at 12:29 AM, Evan Laforge <qdunkan at 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