Heat the oil in a large pot over a high heat.
Season the beef with salt and black pepper.
Brown the beef in the hot oil, in batches. Transfer it into a dish.
Now add the butter to the same pot with the garlic, onions and red pepper flakes, and cook for a few minutes until the onions are tender.
Stir in the paprika and the flour.
Next you can whisk in the water, using a wooden spoon to scrape up any browned, stuck-on bits from the bottom of your pan.
Bring the mixture to a simmer until it’s thickened and then add the broth, tomato sauce, cloves, bay leaves, thyme, salt, and black pepper.
Put the beef back in the pot.
Cover and simmer for 2 hours over a low heat, stirring every 20 minutes.
Add the baby carrots and simmer for another half hour or until the carrots are tender.
Stir in the gnocchi 5 to 10 minutes before the end of the cooking time.
Stir in some balsamic vinegar and fresh parsley, and serve hot.