Right because the value of m! is what’s important, not it’s type. If you remove the $ in front of m! you should see the problem go away, as then the compiler can see that m! has constant value 6.
EDIT: actually my suggestion probably won’t work if you’re not doing this in a function.