agda/agda-stdlib — pull request #3 by helmutg (2014-01-22 15:19:51+00:00)
Title: 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.