[Haskell] Dynamic Loading?

[Ashley Yakeley]

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