Use a WU monad wrapper to defer recursive unifications till after we write merged data.