>>669
>>672 の意図はこんな感じ。返り値も associated type にして実装に委ねられるようにした。
https://play.rust-lang.org/?version=stable&;mode=debug&edition=2021&gist=1dfdb310cd07023a69acca6cbba434ed