Rearrange lines in Type.hs