[Haskell-cafe] Dynamic and equality