Add setoid at plgebra