Data.Vector.Fixed.Unboxed
data family Vec n a
type Vec1
type Vec2
type Vec3
type Vec4
type Vec5
data family MVec n s a
class Unbox n a