thai basil leaves for garnish (optional)

Thai Panang Curry in Instant Pot