Proved computation laws for partial product for the Delay monad
	modified:   RestrictionDelay.agda