Re: Proposal: Simplify/Generalize Data.Dynamic

...

...

...

...

Edward Kmett writes:

But, if we change the definition of Data.Dynamic to

data Dynamic where   Dynamic :: Typeable a => a -> Dynamic

from its current magic implementation in terms of unsafeCoerce and a manually held typeRep, then 

fromDynamic becomes a trivial application of Data.Typeable.cast and dynApply becomes easier, 

+1 John