> yeah, the newtype technique could help us here, but this article is not about that Well... what kind of reasoning is that? Yes, there is a technique to solve

> yeah, the newtype technique could help us here, but this article is not about that Well... what kind of reasoning is that? Yes, there is a technique to solve that problem (or part of the problem) perfectly but... you choose not to use it so that you can try to figure out a second, suboptimal way? I don't know about that