As far a I know sets can implemented by implementing a list of anything(a
list of all types) The sets Haskell does have are AFAIK sets of elements of
the same type: these are not general sets.

Scott