add some haskell prog