ああ、なるほど、Selfから剥がさないと意味ちがうか。

1:47 AM

Optionalの場合に明示的に = Optional<T> と書いたから Functorになっただけで。