GHC.TypeLits.Normalise.SOP
data Symbol v c
data Product v c
data SOP v c
reduceExp
mergeS
mergeP
mergeSOPAdd
mergeSOPMul
normaliseExp