4.4.1 自然变换的例子