setoid: Functional programming term for an object with an equals method