MathObj.Monoid

data GCD a

data LCM a

data Min a

data Max a