GHC.TypeLits.Witnesses
withNatOp
natDict
dictNatVal
(%+)
(%-)
(%*)
(%^)
entailAdd
entailSub
entailMul
entailExp