Irish Beef Stew with Garlic Mash Potatoes

Name: Irish Beef Stew with Garlic Mash Potatoes
Ingredients: 1 Tbsp olive oil or any veggie oil; 1 lb well marbled stew meat; 2 clove garlic, minced; 1 medium onion, diced; 2 carrots, peeled and diced; 1 Tbsp tomato paste; 1 c beef broth; 1 c beer, dark irish (optional); 2 Tbsp fresh parsley, chopped; 1 tsp fresh thyme leaves; 1 bay leaf; 2 Tbsp unsalted butter, melted; 2 Tbsp ap flour; 1/2 c frozen peas; · salt and pepper to taste; 2 lb potatoes,your choice, i use russet,; 4 clove garlic; 1/2 c half and half; 2 Tbsp butter, unsalted