Found the problem

I had said add should return an Iterable when it should return a FiniteBag. Fixed, and it can compile.