Re: [Haskell-cafe] Inferring Safety