Instant Pot Red Lentil and Potato Curry (Vegan, Gluten-Free)

½ tbs coconut or olive oil

¼ yellow or white onion chopped

1 ½ garlic cloves minced

⅕ cup fresh cilantro finely chopped

½ tbs curry powder

½ bay leaf

½ tsp ground turmeric

¼ tsp ground paprika

¼ tsp red chili flakes

⅕ tsp ground ginger

⅕ tsp ground cloves

1 cups water

½ cup dry red lentils

½ cup crushed tomatoes

1 large or 3 medium potatoes peeled, cubed

1 tbs unsweetened shredded coconut optional

½ can 14 oz full fat coconut milk

½ large handful fresh mixed greens

½ tsp apple cider vinegar

to taste sea salt