Instant Pot Red Lentil & Kale Curry

olive oil

yellow onion (, chopped)

carrots (, chopped)

bell pepper (, chopped and seeds removed)

mild curry powder

ground ginger

fine sea salt (, plus more to taste)

red lentils

water

full-fat coconut milk

tightly packed cups of fresh baby kale

Lemon wedges (, for serving)

Cooked jasmine rice or cauliflower rice (, for serving)