今回の改善は、型に付加するアノテーションにパラメータを定義して、協調する役割（型）や関係のある役割（型）を指定できるようにすることです。例えば Iterator パターンにおいて、Aggregate は Iterator を生成しますが、Iterator の役割をするインターフ…