ML's module system has a notion of composition and even types! https://jozefg.bitbucket.io/posts/2015-01-08-modules.html