template<typename I>
struct NANF< I >

The indices from a union_idx have NaN where an element was not selected for the union, and the function template requires a function capable of producing a NaN for the result template type (in our case 'double').