Is there any way to determine at compile-time whether a type is a function_types tag type ? It seems that there are too many possibilities, both the single named tag types and the combination 'tag' template.