Update Integration.hs