つまり、初期化出来るかどうか、というのが、
JavaのinterfaceとADTとの差なのですね?