On Dec 19, 2007 9:13 PM, Neil Mitchell wrote:

...

OK, If you managed to read until this point, you might have noticed that, due to the monomorphism restriction implied by Data.Typeable, it is impossible to build polymorphic processes.

Tom Shackell had similar issues with passing code around at runtime. As a result Yhc contains the Yhc.Dynamic module which gives you all polymorphic dynamic typing. It's integrated into the compiler and runtime system.

Thanks for your answer Neil.

From your description it _seems_ to be exactly what I need (I coudn't reallly figure it out form the sources since its implementation seems to rely on Yhc internals I totally ignore). Are there any examples of use available?

Even if Yhc.Dynamic turns out to be what I need, my implementation unfortunately depends on Template Haskell. Could any GHC guru point out if this would be feasible (and how complicated) to implement in GHC? Thanks, Fons