2008/12/28 Luke Palmer <lrpal...@gmail.com>: > The hard way is a heteroeneous container, with an interface like: > > cons :: a -> Container -> IO (Key a) > unlink :: Key a -> Container -> IO () > toList :: ??? >
If you want to change that to: cons :: Typeable a => a -> Container -> IO (Key a) unlink :: Typeable a => Key a -> Container -> IO () toList :: Container -> IO [Dynamic] You could pretty easily layer it on top of what you have above. -Antoine _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe