Dynamic binding and heterogeneous lists

[Kevin Atkinson]

I am sorry for the naive question but how do you fell about adding
dynamic binding to Haskell to make it possible to have heterogeneous
lists with out having to use a nasty union type which has a number of
problems.

Are there any implications of Haskell that support this feature?
-- 
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/