At least, if you ask with a nicely detailed bug report. Looks like the missed optimization for equality on polymorphic variants I mentioned in a previous post has been fixed. It will be interesting to see what effect this has on our codebase...