Interesting. It strikes me that some of this rhymes with the platform abstraction of roc[1]

[1] https://www.roc-lang.org/platforms