FranTk - a declarative GUI language for Haskell
imperative streams - a monadic combinator library for synchronous programming .