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/frp-arduino/frp-arduino is a good alternative to intensional-datatys