type_traits : typeとvalueをシグニチャに追記