Control.Effect.Vector

data Z

data S n

data Vector n a

type family Add s t

append