TypeNat (hackage): Some Nat-indexed types for GHC
Keywords: data|library|mit