26 Jan
2023
26 Jan
'23
4:30 a.m.
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).