úαm&      !"#$% GHC only?Stablebjorn.buckwalter@gmail.com+  Division (a / b). & Multiplication (a * b).  Subtraction (a - b).  Addition (a + b). >Negation type, used to represent negative numbers by negating  type level naturals. 8Successor type for building type level natural numbers. Type level zero. 2Class encompassing all valid type level integers. '( Negation. ) Predecessor. * Successor. /Convert a type level integer to an instance of +.  Negate a .  Increment a  by one.  Decrement a  by one. Add two s. Subtract the second  from the first.  Multiply two s. Divide the first  by the second.  !"#$%) ()* !"#$%&  !"#$%) ()* !"#$%,      !"#$%&'()*+,-./0numtype-tf-0.1Numeric.NumType.TFNeg5Neg4Neg3Neg2Neg1Pos5Pos4Pos3Pos2Pos1ZeroDivMulSubAddNSZNumTypetoNumnegateincrdecr+-*/zeropos1pos2pos3pos4pos5neg1neg2neg3neg4neg5DivPNumTypeINegatePredSuccbaseGHC.NumNum