Update Liquid.hs