sealing Neg.hs