In principal, at least, you could encode all those constraints in the birthday example into the type system. In practice, no one does, partially because existin

In principal, at least, you could encode all those constraints in the birthday example into the type system. In practice, no one does, partially because existing type systems aren't ergonomic enough to express those constraints for developers to want to use them.