こういうことがしたいケースでは，Sequence.map みたいに具体型を特定してしまうか，適合型ごとに実装するしかないんですねぇ．