Handle O(O(x), y, oo) case in the constuctor (raise NotImplementedError)