Conveniently reason in multiple Setoids simultaneously

See example for a use case and http://stackoverflow.com/a/21196903/3168666 for an alternative using instance arguments.