-- | A bunch of type-level natural numbers extending the ones present
--   in Data.Vector.Fixed.
module Naturals (
  module Data.Vector.Fixed,
  N7,
  N8,
  N9,
  N10,
  N11,
  N12,
  N13,
  N14,
  N15,
  N16,
  N17,
  N18,
  N19,
  N20 )
where

import Data.Vector.Fixed ( N1, N2, N3, N4, N5, N6, S, Z )

type N7 = S N6
type N8 = S N7
type N9 = S N8
type N10 = S N9
type N11 = S N10
type N12 = S N11
type N13 = S N12
type N14 = S N13
type N15 = S N14
type N16 = S N15
type N17 = S N16
type N18 = S N17
type N19 = S N18
type N20 = S N19