Start type in haskell code