dynamics on polymorphic datatype

[Wang Meng]

Hi All,

I am trying to perform dynamic casting on polymorphic types.
Let's say I have a data type like:

> data Foo a = Foo a

Is there any way to use dynamics to convert a value of type Foo a to a
type reprentation? I try to use the toDyn in the dynamic libray, it
complains for ambigours a. Is there a solution to it?

Thank you very much.


 -W-M-
  @ @
   |
  \_/