Update DominikLab.hs