I think these are (some of?) the mentioned ML and APL inspired libraries: https://github.com/coalton-lang/coalton https://github.com/phantomics/april