What on earth is this wizardry

nice lang

https://doc.flix.dev/type-level-programming.html

but they stopped to early in typing.

after seeing how types and values unified in lean, not sure will look into flix like languages ever

Is this a high-level or a low-level programming language? What does it offer? When i is a 32 bit integer, than i + 1 is not an increment operation, as it can result in a value that is much lower than its input.