That was old spec. The `opEquals` signature restriction has been fixed from a while ago.