[Haskell-cafe] re-reading a Samson Abramsky paper ..