Working on associativity law for the partial map category
	modified:   PartialMaps.agda
	modified:   Utilities.agda