note1ms6d7... Koz Ross @Koz Ross 1787519225 @nprofile1q... I've recently been wondering whether you could use a typed Forth-esque thing as a good 'substructural types for programmers' expository example.
