Haskell gravity demo