What to have with a Thai green curry?