抽象型には名前があるべきだ
名前があると可読性が格段に良くなりコンパイラによるエラーもわかりやすくなる
名前のない構造的な抽象型はデメリットが多すぎる