A simple particle system in Fay and Haskell