Implement at on Collection.
Fix effect signature on insert_with.

I have no idea why this is necessary.