4 ms·Unless your language is dependently typed.by DanWaterworth 14y agoUnless your language is dependently typed.