add Type.hs