typified (npm): An experimental implementation of first class functional types using pure ES at runtime, inspired by Haskell, PureScript and Idris.
Keywords: types|typing|es|native|first class|static typing|typing types|declarations|functional|generics|haskell|idris|purescript