Bake Ext into the function by defining maps for Setoids