TUEStaticAssertTypeChecker< RetType(ArgTypes...)>

Function types are complete types, but we can't form a reference to one, so let's just make those work too.