Math.Combinat.Sign

data Sign

isPlus

isMinus

signValue

paritySign

oppositeSign

mulSign

productOfSigns