introduce Haskell section