[gpderetta]

> it's not even possible to express such things in other static type systems

what do you mean? It seems relatively straightforward.