An experimental implementation of first class functional types using pure ES at runtime, inspired by Haskell, PureScript and Idris.
Make types for your RegExp