|
|
|
|
|
The only "magic" thing about `GHC.TypeNats` are the instances of `NatI`. The rest is implemented like this:
|
|
|
The only "magic" thing about `GHC.TypeLits` are the instances of `NatI`. The rest is implemented like this:
|
|
|
|
|
|
```wiki
|
|
|
newtype TNat (n :: Nat) = TNat Integer
|
... | ... | |