If you need information on type constructors you may want to see:
Fall 94
Lecture 2
Lecture 3
Lecture 4
(
main
)
Lecture 5
Fall 93
Fall 92