type_traits : decayを追加
functionのページを整理