Text this: W-types in setoids