> I think it would be
> really nice if it were possible to create a container capable of
> containing any number of objects of any number of types.... It would
That's not possible in Haskell. Since you want an any number
of different types in this new type it would need to have a variable
number of type variables, which is impossible.
But if you dislike tuples you can use nested pairs, like
infixr 0 :.
data T a b = a :. b
Now you can write
'a' :. True :. "Hello" :. ()
which has type
T Char (T Bool (T String ()))
But I guess that's not what you were after?
-- Lennart
