A Haskell library for cooperative control