Added defineType.hs