Equality between total maps changed
	modified:   Completeness.agda
	modified:   PartialMaps/Cat.agda
	modified:   PartialMaps/MonicClasses.agda
	modified:   Restriction/Functors.agda
	modified:   Restriction/Totals.agda
	modified:   Utilities.agda