On Thu, 26 Jan 2023, Kazu Yamamoto (山本和彦) via Haskell-Cafe wrote: > Even if this example is not appearing to you, there are a lot of > situations of this kind in practical code. I know. Each of this is an occasion to think about more appropriate types, such that only valid values can be represented.