A pattern-matching safety analysis for Haskell, based on a type system for intensional datatype refinements and implemented as a GHC Core plugin.
Why do you think that https://github.com/erikd/language-javascript is a good alternative to intensional-datatys