Avatar
これって Functor の制約としては緩いですよね。