Data.Bijection.Vector.Unboxed

data family Vector a :: *

type Bi d c