Update main-file.hs