Numeric.TypeLits

data XNat

type XN n

type N n

Nats backed by Int

data SomeIntNat

someIntNatVal

intNatVal

reifyDim

class KnownDim n

type family KnownDims (ns :: [Nat]) :: Constraint where ...

dimVal#

data Proxy#

proxy#

Dynamically constructing evidence

data Evidence

withEvidence

sumEvs

(+!+)

inferPlusKnownDim

inferMinusKnownDim

inferMinusKnownDimM

inferTimesKnownDim

Re-export original GHC TypeLits

data Proxy k t