better haskell insert type command