3 ms·Depends on the type system - sounds trivial in dependently typed languages.by turboponyy 3y agoDepends on the type system - sounds trivial in dependently typed languages.