class EachIsTypeOrDerived
class EachIsTypeOrDerived<1, BASES, TYPES>
class EachIsTypeOrDerived<0, BASES, TYPES>
class Signature
class SignatureOf
class SignatureOf<R (*)(ARGS...)>
class SignatureOf<R (C::*)(ARGS...)>