Polymorphic->Collapsed
Sugar: convert hole result in same transaction as creation of hole result