Ah, I just remembered. Because the function table which holds T => validator for individual types.