型エラー消せたけど今見ると ABC と Protocol の扱いが雑だ.
ジェネリクスの構文も変わったし全体的に見直していきたい.