3 ms·

Typed Racket (not a dependently typed system mind you) has zero as a type. It’s a fantastically useful type to have.