7 ms·You can't model all invariants in the type system. My blog even shows examples of this too.by burntsushi 11mo agoYou can't model all invariants in the type system. My blog even shows examples of this too.