🗼An experimental implementation of first class functional types using pure ES at runtime, inspired by Haskell, PureScript and Idris. - View it on GitHub