The dict-bindings in an IPBinds need not be in dependency order