Data.Dynamic: Any vs existential

[Roman Cheplyaka]

In Data.Dynamic, Dynamic is defined as

  data Dynamic = Dynamic TypeRep Any

Does this have any advantage over a safer

  data Dynamic = forall a. Typeable a => Dynamic a
  
?

Roman
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
URL: <http://www.haskell.org/pipermail/libraries/attachments/20140310/6ea3d209/attachment.sig>