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/krisajenkins/elm-export is a good alternative to intensional-datatys