Add setoid example