úο&      !"#$% GHC only?Stablebjorn.buckwalter@gmail.com Safe-Inferred  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. 3 * +&'( !"#$%,-./0123) &'( !"#$%&  !"#$%/ * +&'( !"#$%,-./01234      !"#$%&'()*+,-./012345678numtype-tf-0.1.1Numeric.NumType.TFNeg5Neg4Neg3Neg2Neg1Pos5Pos4Pos3Pos2Pos1ZeroDivMulSubAddNSZNumTypetoNumnegateincrdecr+-*/zeropos1pos2pos3pos4pos5neg1neg2neg3neg4neg5NegatePredSuccbaseGHC.NumNumDivPNumTypeI$fShowN$fShowS$fShowZ $fNumTypeIN $fNumTypeIS $fNumTypeIS0 $fNumTypeIZ $fNumTypen