Types are checked by names, even you have the same underlying range of values. But some checks can only be done at runtime.