Data.Dynamic: Any vs existential

Roman Cheplyaka roma at
Mon Mar 10 10:11:27 UTC 2014

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
URL: <>

More information about the Libraries mailing list