[Haskell-cafe] What is the difference between Strachey diff from Scott Semantic Domain?