hsimport qualified Data.Vector.Sized as V instance KnownNat n => Representable (V.Vector n) where type Log (V.Vector n) = Finite n index = V.index positions = V.generate id