今やりたいのは引数と戻り値で同じ E を使いたいことで、そうすると some じゃダメだ。