List types

[Eric Allen Wohlstadter]

I would like to be able to make a list that contains functions which take
arguments of a certain type 'a'. However I don't know how many 'a'
arguments there are. For example I'd like to be able to make a list of
f,g, and h.

f::a->b
g::a->a->b
h::a->a->a->b
[f,g,h]

Now I could make a function l that takes a list of 'a'.
l::[a]->b
However, I want to be able to curry the a's one at a time.

My solution so far is declare a type Element like this:
data Element a b c d = One a | Two b | Three c | Four d
and then I can make my list like this,
[One f,Two g,Three h]

This gets very ugly. Do you guys have any ideas?

	Eric Wohlstadter
	UCDavis Software Engineering