Update Labmain.hs