Control systems in Haskell.