[Haskell-cafe] incomplete-uni-patterns

[Henning Thielemann]

On Thu, 26 Jan 2023, Kazu Yamamoto (山本和彦) via Haskell-Cafe wrote:

>>  I feel I should raise the naive question, what if args is wrong?
>
> The length of "args" have been checked in advance.
> I'm sure that the length is 2.

If that is sure, then let the length check return a list type that 
contains exactly two arguments.

With my non-empty package I would e.g. use NonEmpty (NonEmpty Empty).