-- mergeFieldInfo :: V n Fi -> V 1 Fi -> V (n+1) Fi
mergeFieldInfo :: Vector FieldInfo -> Vector FieldInfo -> Vector FieldInfo
mergeFieldInfo fis fiV = fiV V.++ fis
mergeFieldInfo :: Vector FieldInfo -> Vector FieldInfo -> Vector FieldInfo
mergeFieldInfo fis fiV = fiV V.++ fis
mergeFieldInfo fis fiV = fiV V.++ fis