full specializationはunsoundな問題を抱えている
それが君の言う「specializationはunsound」の定義なら答えはyes