On Mon, 25 Aug 2014 11:15:28 -0400, Edward Kmett <ekmett at gmail.com> wrote: > data Dynamic where > Dynamic :: Typeable a => a -> Dynamic +1, this is actually how I thought Dynamic was implemented under the hood until your e-mail suggest to me otherwise.