Math.Combinat.Sign

data Sign

isPlus

isMinus

signValue

signed

paritySign

paritySignValue

negateIfOdd

oppositeSign

mulSign

productOfSigns