h$      None'(/<sint(One more than the maximum representable  on the current platform.sint#A singleton type linking a runtime  and a type-level .sint Construct an 4 unsafely. Incorrect uses cause undefined behavior.See the module intro for more details; prefer to use safe methods to construct /s, and treat this constructor equivalently to .sintUse an  as an existentially-quantified .sint Produce an  for a given , or  if out of range.sint Produce an  for a given , or  if out of range.sintLike ,, but with static proof that it's in-bounds.This optimizes down to an actual primitive literal wrapped in the appropriate constructors, unlike , where the bounds checking gets in the way. If you're constructing a statically-known , use "; while if you're constructing an  from a runtime  instance, you'll have to use .sintAdd two s with bounds checks;  if the result overflows. sint Multiply two s with bounds checks;  if the result overflows. sint Subtract two s with bounds checks;  if the result is negative. sint Subtract two 7s, using an inequality constraint to rule out overflow. sint "Un-add" an  from another , on the left. This form of   is more convenient in certain cases when a type signature ensures a particular  is of the form m + n. sint"Un-multiply" an  by another , on the left. This form of divSInt is more convenient in certain cases when a type signature ensures a particular  is of the form m * n.sint"Un-multiply" an  by another , on the right. This form of divSInt is more convenient in certain cases when a type signature ensures a particular  is of the form m * n.sint Bring an  back into the type level as a  instance.   Safe-Inferred !      !"#$%&'()*+#sint-0.1.0.0-3rQur2z0I2hKWWFRQD2Lmt Data.SInt Paths_sintIntMaxP1SIntSI#unSIntwithSInt trySIntValsintVal staticSIntValaddSIntmulSIntsubSInt subSIntLEsubSIntLdivSIntLdivSIntR reifySInt $fShowSInt $fPortraySInt $fDiffSIntghc-prim GHC.TypesIntNatbase Unsafe.Coerce unsafeCoerce GHC.TypeNatsKnownNat GHC.MaybeNothingGHC.Errerrorversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName