The "problem" is that some languages don't have rich enough type systems to encode all the constraints that people want to support with CLI options. And many pr

The "problem" is that some languages don't have rich enough type systems to encode all the constraints that people want to support with CLI options. And many programmers aren't that great at wielding the type systems at their disposal.