it looks like, right now, you can delete something of type foo using an instance of type bar. is that intended?