add integrate.hs