[Haskell] Dynamic Loading?

Is it possible to do dynamic loading in Haskell? Let us say you want to have plug-in loadable widgets. You create a widget API, which is in fact a data-type W (which you make an instance of Typeable). You then write an application that loads widgets, using something like this: loadDynamic :: FilePath -> IO Dynamic Someone else could then use your widget API to write code that provides a value of type W (or a Dynamic), and compile and link it as a widget that can then be loaded. Is this possible? -- Ashley Yakeley, Seattle WA