use NaturalTransformation.refl