[eterps]

Is there a 'readable' code sample of how that would work?

[cultus]

Not much I don't think. This has a few examples:

https://github.com/rossberg/1ml

There isn't special module syntax. Modules are more-or-less just structs, and the structs can contain types.

[eterps]

I just found this post: https://shonfeder.github.io/themata/programming/notes-on-1ml...