我觉得，对于任何ADT，只有一个可能的Functor实例。
因为 "http://otherdomain.com.*filenameB.*" as $from
| "http://yetanotherdomain.com/new/path/to/filenameC.tar.gz" as $to
| reduce (tostream | select(length == 2 and .[0][-1] == "url")) as $p (
.
; setpath($p[0]; $p[1] | sub($from; $to))
)
的{{1}}函数只有一种类型可供使用，并且它始终会更改(a -> b)的所有外观，因为它会将fmap转换为{{ 1}}。
这句话是真的吗？