remove bind operator
add type_traits.hh