Search for unknown number of parameters

[milesfrain]

Let's say I looking for any function that consumes a Seed, but I don't know what else I may need to provide for the zero or more additional arguments.

An example of a desired result is:

variant :: forall a. Seed -> Gen a -> Gen a

But variant is not found by:

Seed -> _
Seed -> a

Or even:

Seed -> _ -> _
Seed -> a -> b
Seed -> f a -> f a

This is the most generic option that works:

Seed -> _ a -> _ a