renaming >>=\Downarrow and \Downarrow>>=
	modified:   Delay.agda