[boost] [tuple] Type composition