Data.Tensor.Pure

data family Tensor is e

type Vector i

type Matrix i j