Austral could use its linear types to deny any dependency the ability to allocate memory, just like it can deny io, giving those dependencies access through a p

Austral could use its linear types to deny any dependency the ability to allocate memory, just like it can deny io, giving those dependencies access through a provided type. They did it for supply chain safety, but it also lets you specify how your entire dependency tree handles all the system resources.