Re: [Haskell-cafe] Dynamic types through unsafeCoerce