done Categorieas.hs and State