haskell for 4, update type declarations for main in 1, 2, and 3