R2 proved for the quotiented delay monad
	modified:   Restriction/Delay.agda