@neauoire I'm not sure the halting problem is a good argument here (unless you go into Total Functional Programming), but... I do like this paradigm!