Scala だと seald class で網羅性検査ができるっていう解決法になっていて性質としては ADT なんですよね