Ideas.Common.Algebra.SmartGroup

Smart datatypes

data Smart a

data SmartZero a

data SmartGroup a

data SmartField a

(.+.)

(.-.)

neg

(.*.)

(./.)

Smart booleans

(.&&.)

(.||.)