[Haskell-cafe] about logical computation