Data.Nat
data
Nat
type family
as
:!:
n :: k
type family
as
:!!:
n :: [k]