Re: [Haskell-cafe] How on Earth Do You Reason about Space?