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/haskell-suite/haskell-src-exts is a good alternative to intensional-datatys