3 ms·

You don't typecheck macros since they run at compile time. You typecheck the expanded code instead.