Map and strength for quotiented delay type.
	modified:   Monads/Delay.agda