Unison lang has a lot of overlap with model: https://www.unison-lang.org/learn/the-big-idea/