Finish on FormGen.hs