Update Core.hs