ChrisK <haskell at list.mightyreason.com> wrote: > the standard way to do that is use an existential wrapper: Does this relate to the "basket of fruit" problem in object oriented languages? You created the existential wrapper to allow a multimorphic list type? -- _jsn