Proposal: Simplify/Generalize Data.Dynamic

[John Wiegley]

>>>>> Edward Kmett <ekmett at gmail.com> 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