[Haskell-cafe] Re: what's the definition of "satisfy" and "<?>" ?