Am So., 13. Sept. 2020 um 15:10 Uhr schrieb Felix Thibault
<xxxxxx@gmail.com>:

> Yes, that is what I was wondering. Which wouldn't change your point over all. I just had a second look at this code and wondered if that sort of change was likely for this kind of code.

Thanks. If it is code that is once written and won't be touched
anymore, my point doesn't apply, of course. But when we try to write
code such that the implementation of data types is abstracted away,
the current non-linear pattern variable feature stands in the way (at
least it suggests writing code tied to a particular representation of
the data).