Declarative animations in Haskell.