RlangQQ.NatQQ

Documentation

n :: QuasiQuoter

HList uses it's own nat, distinct from Nat, for various reasons.

Specifying those HNat can be done like:

 [n| 5 |]

which is shorter than the equivalent

 hSucc $ hSucc $ hSucc $ hSucc $ hSucc hZero