module Data.Yarr.Utils.FixedVector.Arity where

import Data.Vector.Fixed

type N7 = S N6
type N8 = S N7

n1 :: N1
n1 = undefined

n2 :: N2
n2 = undefined

n3 :: N3
n3 = undefined

n4 :: N4
n4 = undefined

n5 :: N5
n5 = undefined

n6 :: N6
n6 = undefined

n7 :: N7
n7 = undefined

n8 :: N8
n8 = undefined