Some ACE models programmed with haskell