Type family mapping each Vector to its MVector