ts-types-runtime. A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!