3 ms·Haskell does, and you get decent type-level arithmetic with a compiler plugin.by tomsmeding 4y agoHaskell does, and you get decent type-level arithmetic with a compiler plugin.