typedef F::template apply< hk< is_same< T1, placeholders::_ >::value, T1, U1, U2, U3, U4, U5 >::type, hk< is_same< T1, placeholders::_ >::value+is_same< T2, placeholders::_ >::value, T2, U1, U2, U3, U4, U5 >::type, hk< is_same< T1, placeholders::_ >::value+is_same< T2, placeholders::_ >::value+is_same< T3, placeholders::_ >::value, T3, U1, U2, U3, U4, U5 >::type, hk< is_same< T1, placeholders::_ >::value+is_same< T2, placeholders::_ >::value+is_same< T3, placeholders::_ >::value+is_same< T4, placeholders::_ >::value, T4, U1, U2, U3, U4, U5 >::type >::type | type |