Patch for nonempty types