inserting template for type constructor.
removing withGHCDummyFile.