Update lev.hs