data GlexMonomial v

type GlexPoly k v

glexVar

class Monomial m

bind

class DivisionBasis b

(%%)