mess with implicit arguments in categories.v
mess with implicit arguments in categories.v

Ignore-this: 314cad9207f706e949bd686aaa5c5e1b

darcs-hash:20140113041450-f399b-c63597dfad7f368241e317f6c39254b06fd3866b

robdockins/domains