merging Type.hs