[Haskell-cafe] incomplete-uni-patterns

Henning Thielemann lemming at henning-thielemann.de
Thu Jan 26 09:30:47 UTC 2023

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).

More information about the Haskell-Cafe mailing list