Looks interesting. How is the type just `array` in that example though? Doesn't it have to be an array of something?
As such, the "array" type is just an opaque type exposed via the C binding API. Given that there are no generics at the moment, this array API works with "any" values (similar to "any" in e.g. TypeScript).