Christopher, I don't follow your Haskell reasoning, but I agree with your conclusion!