ajout type.hs