Data.Number.Symbolic

data Sym a

var

con

subst

unSym