lift2 works
	modified:   PartialMaps.agda