Create integ.hs