[anqurvanillapy]

Oh I heard about it and oops just hate myself for forgetting it.

And the first sentence [1] of its pointer type introduction, exactly says everything I said here...

> [...] greatest motivation behind ATS is to make it employed to construct safe and reliable programs running in OS kernel.

Also found this interesting Reddit thread [2]. Time to bring some old gems back with good ergonomics now, it won't be that hard. Hold my beer for a while.

[1]: https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML...

[2]: https://www.reddit.com/r/ProgrammingLanguages/comments/uacib...