On 14-07-29 04:44 AM, Magicloud Magiclouds wrote: > I should just use Widget I defined. Why not before.... > > But then I am confused on type cast again. How to extract the > existential type inside Widget? If you really want it, you need Data.Typeable.