Use chopped spinach instead. Refer notes on when to add it to the instant pot dal. Pro tip: This method of toasting the seeds in hot oil is known as tadka, used in authentic Indian curries.