On Thu, Jan 26, 2023 at 6:35 PM Henning Thielemann wrote: > Each of this is an occasion to think about more appropriate types, > such that only valid values can be represented. ...and wish for dependent types!