I think a key fact about this example is that `&Y` is just another type of value which can be used like any other; if you can't return it our put it in a vector

I think a key fact about this example is that `&Y` is just another type of value which can be used like any other; if you can't return it our put it in a vector or whatever its really not comparable.