『Javaで代数的データ型は使えるようになるのか』