そもそも>>271が意味わかんない
f:Q→Rとf:Q→Qで、何か本質的な違いがあるの?