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