Data.Vector.SEXP.Base
type family ElemRep s (a :: SEXPTYPE) where ...
type E s a b
type VECTOR s ty a
type SVECTOR ty a