It exists, but as a Haskell library called Reflex. This is why it didn't gain traction ;)