Data.AdditiveGroupData.AffineSpaceData.BasisData.CrossData.DerivativeData.LinearMapData.MaclaurinData.NumInstancesData.VectorSpace