Data.Vector.Fixed
type family Dim v
data Z
data S n
type N1
type N2
type N3
type N4
type N5
type N6
class Vector v a
class VectorN v n a
class Arity n
data Fun n a b
data ContVec n a
class Make n a r
class Index k n
data VecList n a
data Only a
data Empty a
type Tuple2 a
type Tuple3 a
type Tuple4 a
type Tuple5 a