`WithWith`?