Data.Vector.Fixed.Primitive
data Vec n a
type Vec1
type Vec2
type Vec3
type Vec4
type Vec5
data MVec n s a
class Prim a