--------------------------------------------------------------------------------
-- Wrappers and unwrappers for vector references

fromRVec :: r -> Res d r
fromRVec p = RRVec p
fromRVec :: r -> Res d r
fromRVec p = RRVec p
fromRVec p = RRVec p