Proved that the product on the delay monad is a restriction product.
	modified:   RestrictionDelay.agda