Re[2]: [Haskell-cafe] Dynamic types through unsafeCoerce